[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/1370175.1370192acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
demonstration

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

Published: 10 May 2008 Publication History

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

[1]
E. R. Gansner and S. C. North. An open graph visualization system and its applications to software engineering. Software ? Practice and Experience, 30(11):1203--1233, 2000.
[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 and T. Reps. Model checking SPKI/SDSI. In Journal of Computer Security, volume 12, pages 317--353, 2004.
[4]
J. Jurjens. Sound methods and effective tools for model-based security engineering with UML. In 27th ICSE, pages 322--331, 2005.
[5]
N. Li, J. C. Mitchell, and W. H. Winsborough. Beyond proof-of-compliance: Security analysis in trust management. JACM, 52(3):474--514, 2005.
[6]
K. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. 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.

Cited By

View all
  • (2014)Formal verification of security properties in trust management policyJournal of Computer Security10.5555/2590636.259063922:1(69-153)Online publication date: 1-Jan-2014
  • (2013)A trust model for vehicular network-based incident reports2013 IEEE 5th International Symposium on Wireless Vehicular Communications (WiVeC)10.1109/wivec.2013.6698224(1-5)Online publication date: Jun-2013

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
ICSE Companion '08: Companion of the 30th international conference on Software engineering
May 2008
214 pages
ISBN:9781605580791
DOI:10.1145/1370175
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 May 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. automated analysis tool
  2. model checking
  3. trust management policy

Qualifiers

  • Demonstration

Conference

ICSE '08
Sponsor:

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 23 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2014)Formal verification of security properties in trust management policyJournal of Computer Security10.5555/2590636.259063922:1(69-153)Online publication date: 1-Jan-2014
  • (2013)A trust model for vehicular network-based incident reports2013 IEEE 5th International Symposium on Wireless Vehicular Communications (WiVeC)10.1109/wivec.2013.6698224(1-5)Online publication date: Jun-2013

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media