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

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (186 KB)

Source

International Conference on Software Engineering archive
Companion of the 30th international conference on Software engineering table of contents

Leipzig, Germany

SESSION: Informal research demonstrations table of contents

Pages 929-930

Year of Publication: 2008

ISBN:978-1-60558-079-1

Authors

Mark Reith	University of Texas at San Antonio, San Antonio, TX, USA
Jianwei Niu	University of Texas at San Antonio, San Antonio, TX, USA
William H. Winsborough	University of Texas at San Antonio, San Antonio, TX, USA

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 51, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1370175.1370192 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Emden R. Gansner , Stephen C. North, An open graph visualization system and its applications to software engineering, Software—Practice & Experience, v.30 n.11, p.1203-1233, Sept. 2000 [doi>10.1002/1097-024X(200009)30:11<1203::AID-SPE338>3.3.CO;2-E ]
	2	S. Jha, N. Li, M. Tripunitara, Q. Wang, and W. Winsborough. Towards formal verification of role-based access control policies. To appear in IEEE Trans. on Dependable & Secure Computing (TDSC).
	3	S. Jha , T. Reps, Model checking SPKI/SDSI, Journal of Computer Security, v.12 n.3,4, p.317-353, May 2004
	4	Jan Jürjens, Sound methods and effective tools for model-based security engineering with UML, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA [doi>10.1145/1062455.1062519]
	5	Ninghui Li , John C. Mitchell , William H. Winsborough, Beyond proof-of-compliance: security analysis in trust management, Journal of the ACM (JACM), v.52 n.3, p.474-514, May 2005 [doi>10.1145/1066100.1066103]
	6	Kenneth L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Norwell, MA, 1993
	7	M. Reith, J. Niu, and W. H. Winsborough. Policy analysis framework for verification and correction. Technical Report CS-TR-2007-006, UTSA, 2007.
	8	A. P. Sistla and M. Zhou. Analysis of dynamic policies. In Foundations of Comp. Sec. & Automated Reasoning for Security Protocol Analysis, pages 233--262, 2006.