Analysis of access in the Take-Grant model
Cryptography and Security
2013-09-05 v1 Data Structures and Algorithms
Authors:
Denis Brechka
Abstract
The article discribe methods of verifing the conditions of access in computer systems based on Take-Grant protection model.
Cite
@article{arxiv.1208.0108,
title = {Analysis of access in the Take-Grant model},
author = {Denis Brechka},
journal= {arXiv preprint arXiv:1208.0108},
year = {2013}
}
Related papers
View all related →
Cryptography and Security · Computer Science
Algorithm for searching bridges of specified types in the protection graph for Take-Grant protection model
Denis Brechka
2013-09-06
Cryptography and Security · Computer Science
Secure access system using signature verification over tablet PC
Fernando Alonso-Fernandez, Julian Fierrez-Aguilar, Javier Ortega-Garcia, Joaquin Gonzalez-Rodriguez
2023-01-12
Cryptography and Security · Computer Science
E-net models for distribution, access and use of resources in security information systems
Nikolai Stoianov, Veselin Tselkov
2010-12-13
Cryptography and Security · Computer Science
Model Checking Access Control Policies: A Case Study using Google Cloud IAM
Antonios Gouglidis, Anna Kagia, Vincent C. Hu
2023-03-30
Systems and Control · Electrical Eng. & Systems
Sampling based Computation of Viability Domain to Prevent Safety Violations by Attackers
Kunal Garg, Ricardo G. Sanfelice, Alvaro A. Cardenas
2022-01-03
Cryptography and Security · Computer Science
Mutation Analysis for Security
Mohammed Ennahbaoui, Said Elhajji
2013-09-25
Cryptography and Security · Computer Science
Penetration Testing for System Security: Methods and Practical Approaches
Wei Zhang, Ju Xing, Xiaoqi Li
2026-02-10
Software Engineering · Computer Science
A Model Based Framework for Testing Safety and Security in Operational Technology Environments
Mukund Bhole, Wolfgang Kastner, Thilo Sauter
2023-06-26
Networking and Internet Architecture · Computer Science
Techno-Economic Assessment in Communications: Models for Access Network Technologies
Carlos Bendicho
2021-04-14
Logic in Computer Science · Computer Science
A new method of verification of security protocols
Andrew M. Mironov
2017-06-02
Software Engineering · Computer Science
Case Study in Survivable Network System Analysis
Robert Ellison, Rick Linger, Thomas Longstaff, Nancy Mead
2007-05-23
Logic in Computer Science · Computer Science
Event Systems and Access Control
Dominique Méry, Stephan Merz
2016-08-16
Cryptography and Security · Computer Science
Towards Models for Availability and Security Evaluation of Cloud Computing with Moving Target Defense
Matheus Torquato, Marco Vieira
2019-09-05
Logic in Computer Science · Computer Science
A graph model of message passing processes
Andrew M. Mironov
2017-06-02
Quantum Physics · Physics
Access Control Threatened by Quantum Entanglement
Zhicheng Zhang, Mingsheng Ying
2025-07-04
Cryptography and Security · Computer Science
Security Monitoring of the Cyber Space
Claude Fachkha
2016-08-05
Cryptography and Security · Computer Science
Risk Assessment Graphs: Utilizing Attack Graphs for Risk Assessment
Simon Unger, Ektor Arzoglou, Markus Heinrich, Dirk Scheuermann +1
2023-07-27
Computers and Society · Computer Science
An Overview of Computer security
Shireesh Reddy Annam
2009-09-25
Methodology · Statistics
Detecting intrusions in control systems: a rule of thumb, its justification and illustrations
Nadezhda Gribkova, Ričardas Zitikis
2018-06-19
Software Engineering · Computer Science
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B
Inna Vistbakka, Elena Troubitsyna
2018-05-16
Software Engineering · Computer Science
Modeling and verification method for an early validation of a train system
Ronan Baduel, Iulian Ober, Jean-Michel Bruel
2019-09-05
Cryptography and Security · Computer Science
A Novel Access Control and Privacy-Enhancing Approach for Models in Edge Computing
Peihao Li
2024-11-07
Cryptography and Security · Computer Science
A Typology of Authentication Systems
Christopher S. Pilson, James C. McElroy
2015-09-04
Neural and Evolutionary Computing · Computer Science
A First Attempt to Cloud-Based User Verification in Distributed System
Marcin Wozniak, Dawid Polap, Grzegorz Borowik, Christian Napoli
2016-01-28
Logic in Computer Science · Computer Science
Towards Assume-Guarantee Verification of Strategic Ability
Łukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2023-10-25