Role-based trust management security policy analysis and correction environment (RT-SPACE)

Authors:
Mark Reith;Jianwei Niu;William H. Winsborough
Affiliations:
University of Texas at San Antonio, San Antonio, TX, USA;University of Texas at San Antonio, San Antonio, TX, USA;University of Texas at San Antonio, San Antonio, TX, USA
Venue:
Companion of the 30th international conference on Software engineering
Year:
2008

Citing 6
Cited 1

An open graph visualization system and its applications to software engineering

Software—Practice & Experience - Special issue on discrete algorithm engineering
Symbolic Model Checking

Symbolic Model Checking
Sound methods and effective tools for model-based security engineering with UML

Proceedings of the 27th international conference on Software engineering
Beyond proof-of-compliance: security analysis in trust management

Journal of the ACM (JACM)
Model checking SPKI/SDSI

Journal of Computer Security - Special issue on CSFW15
Towards Formal Verification of Role-Based Access Control Policies

IEEE Transactions on Dependable and Secure Computing

Formal verification of security properties in trust management policy

Journal of Computer Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents RT-SPACE, a tool suite for authoring, verifying, and correcting RT access control policies. RT is a role-based trust management framework well suited for use in systems that must protect the interests of multiple stakeholders in a decentralized environment.