SACMAT 2009 - PDF Preprint Papers

SACMAT 2009 Symposium on Access Control Models and Technologies

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed SACMAT-2009 Paper

click to vote

SACMAT
2009
ACM

249views Control Systems» more SACMAT 2009»

Towards formal security analysis of GTRBAC using timed automata

13 years 11 months ago

Download www.facweb.iitkgp.ernet.in

An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...

Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	249	Towards formal security analysis of GTRBAC using timed automata	claim
2	188	A decision support system for secure information sharing	claim
3	163	Analysis of virtual machine system policies	claim
4	160	Foundations for group-centric secure information sharing models	claim
5	158	Access control policy combining: theory meets practice	claim
6	155	Symbolic reachability analysis for parameterized administrative role based access control	claim
7	152	A semantic web based framework for social network access control	claim
8	152	Supporting RBAC with XACML+OWL	claim
9	147	An algebra for fine-grained integration of XACML policies	claim
10	140	Automating role-based provisioning by learning from examples	claim
11	133	A formal framework to elicit roles with business meaning in RBAC systems	claim
12	122	Dynamic mandatory access control for multiple stakeholders	claim
13	121	Trojan horse resistant discretionary access control	claim
14	118	Evaluating role mining algorithms	claim
15	117	Ensuring spatio-temporal access control for real-world applications	claim
16	111	Working set-based access control for network file systems	claim
17	109	xDomain: cross-border proofs of access	claim
18	102	Patient-centric authorization framework for sharing electronic health records	claim
19	99	Extending access control models with break-glass	claim
20	94	Safety in discretionary access control for logic-based publish-subscribe systems	claim
21	75	Usability meets access control: challenges and research opportunities	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers