SIGN IN
SIGN UP
Role-based trust management security policy analysis and correction environment (RT-SPACE)
Full Text:
PDF
Buy this Article
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
Published in:
· Proceeding
ICSE Companion '08
Companion of the 30th international conference on Software engineering
Pages 929-930
ACM
New York, NY
, USA
©2008
table of contents
ISBN: 978-1-60558-079-1
doi>
10.1145/1370175.1370192
2008 Article
Demonstration
Bibliometrics
· Downloads (6 Weeks): 1
· Downloads (12 Months): 13
· Downloads (cumulative): 171
· Citation Count: 0
Tools and Resources
Buy this Article
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
ICSE '13
Share:
|
Tags:
automated analysis tool
model checking
security
software/program verification
trust management policy
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder