• Home
  • Search
  • Enhancing cybersecurity by generating user-specific security policy through the formal modeling of user behavior
  • Cite Icon17
  • https://doi.org/10.1016/j.array.2022.100146Copy DOI Icon

Enhancing cybersecurity by generating user-specific security policy through the formal modeling of user behavior

  • Jul 1, 2022
  • Array
  • Arwa Alqadheeb +2 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Organizations today are faced with the difficult challenge of balancing the embrace of new and emerging technology, and securing their systems and data that support critical business functions. Although there have been significant advances in security enforcement technology, attackers are still able to compromise organizations and access. The impacts of computer intrusions have become so untenable that many organizations are looking at a drastic rethinking of their approach to the security of internal networks. This approach is called Zero Trust and it seeks to remove all notion of a trusted internal network boundary. The benefits of Zero Trust include significantly increasing the work that attackers would need to perform to achieve their objectives. But Zero Trust will also increase the management complexity for internal security teams. These teams will need a way to collect data and enforce policy decisions based upon analysis. This process will need to be done for all organizational systems, and data, and it will need to be done in all access contexts. Our approach uses formal methods to model and examine end-users security-related behaviors. Researchers have found that the users’ security decisions correlate with factors including demographics, personality traits, decision-making styles, and risk-taking preferences. We describe these behaviors by using Finite-State Automata (FSA). This allows for the automated formulation of linear-time security properties based on Timed Computation Tree Logic (TCTL). The logic is then used to check the satisfaction of collected and observed security behaviors against policy. This formal behavioral analysis could be combined with other security and network data during the context analysis process that needs to occur for each Zero Trust access request. Other network or host security data could include address identifiers, tokens, event data, packet inspection, running process data, cyber threat intelligence, and much more. Our method allows organizations that embrace a Zero Trust philosophy to generate context specific security policies that can be automatically verified for correctness and completion.

Similar Papers
  • Book Chapter
  • Citations3

Cyber risks on IoT platforms and zero trust solutions

  • Jan 01, 2023
  • Marcus Tanque +1
  • Research Article
  • Citations7

Zero Trust and the future of cybersecurity in healthcare delivery organizations

  • Feb 09, 2023
  • Journal of Hospital Administration
  • George A Gellert +3
  • Research Article

STEP-BY-STEP APPROACH TO IMPLEMENTING ZERO TRUST IN HYBRID CORPORATE SECURITY SYSTEMS

  • Jan 01, 2025
  • Cybersecurity: Education, Science, Technique
  • Ostap Horodytskyi +1
  • Research Article

THE ADVANTAGES AND IMPLEMENTATION CHALLENGES WITHIN THE SCOPE OF THE BASIC PRINCIPLES OF TRANSITION TO ZERO TRUST ARCHITECTURE

  • Dec 30, 2024
  • International Journal of 3D Printing Technologies and Digital Industry
  • Ahmet Ali Süzen +1
  • Research Article
  • Citations53

BFLS: Blockchain and Federated Learning for sharing threat detection models as Cyber Threat Intelligence

  • Feb 03, 2023
  • Computer Networks
  • Tongtong Jiang +4
  • Research Article

Data Security and Compliance in Cloud Environments: Addressing the implementation of data security measures

  • Apr 24, 2025
  • Universal Research Reports
  • Priyanka Verma +1
  • Book Chapter

Deep learning-based data security in mobile networks

  • Dec 03, 2025
  • Shilpi Agarwal +2
  • PDF
  • Research Article
  • Citations5

Blockchain-based privacy and security model for transactional data in large private networks

  • Oct 10, 2023
  • Scientific Reports
  • Bello Musa Yakubu +2
  • Research Article
  • Citations6

Application of network data security based on wireless sensor technology in the development of digital sharing economy

  • May 11, 2024
  • Measurement: Sensors
  • Gaoyu Lou
  • Research Article

Evaluation of computer network data security based on a deep learning algorithm

  • Jan 01, 2025
  • Journal of Intelligent Systems
  • Sujing Ma +1
  • PDF
  • Research Article
  • Citations6

Privacy-Protection Method for Blockchain Transactions Based on Lightweight Homomorphic Encryption

  • Jul 28, 2024
  • Information
  • Guiyou Wang +3
  • Research Article
  • Citations25

Enhancing cyber security in WSN using optimized self-attention-based provisional variational auto-encoder generative adversarial network

  • Oct 30, 2023
  • Computer Standards & Interfaces
  • B Meenakshi +1
  • Research Article
  • Citations4

Integrating Smartphone Network Architecture and Data Security Techniques to Mitigate Sharp Practices in Non-Profit Organizations

  • Jan 01, 2020
  • Journal of Communications
  • Matimu Caswell Nkuna +2
  • Book Chapter
  • Citations3

An Investigation for Cellular Automata-Based Lightweight Data Security Model Towards Possible Uses in Fog Networks

  • Jan 01, 2021
  • Arnab Mitra +1
  • Book Chapter

A Multipath Routing Protocol Which Preserves Security and Anonymity of Data in Mobile Ad Hoc Networks

  • Dec 19, 2015
  • J Jaisooraj +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.