loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 International Conference on Knowledge and Systems Engineering
Analyzing RBAC Security Policy of Implementation Using AST
Hanoi
October 13-October 17
ISBN: 978-0-7695-3846-4
ASCII Text
x 
 
Tuan-Hung Pham, Ninh-Thuan Truong, Viet-Ha Nguyen, "Analyzing RBAC Security Policy of Implementation Using AST," Knowledge and Systems Engineering, International Conference on, pp. 215-219, 2009 International Conference on Knowledge and Systems Engineering, 2009.
 
 
BibTex
x
 
@article{ 10.1109/KSE.2009.23,
author = {Tuan-Hung Pham and Ninh-Thuan Truong and Viet-Ha Nguyen},
title = {Analyzing RBAC Security Policy of Implementation Using AST},
journal ={Knowledge and Systems Engineering, International Conference on},
volume = {0},
year = {2009},
isbn = {978-0-7695-3846-4},
pages = {215-219},
doi = {http://doi.ieeecomputersociety.org/10.1109/KSE.2009.23},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Knowledge and Systems Engineering, International Conference on
TI - Analyzing RBAC Security Policy of Implementation Using AST
SN - 978-0-7695-3846-4
SP215
EP219
A1 - Tuan-Hung Pham,
A1 - Ninh-Thuan Truong,
A1 - Viet-Ha Nguyen,
PY - 2009
KW - RBAC policy
KW - conformance checking
KW - AST
VL - 0
JA - Knowledge and Systems Engineering, International Conference on
ER -
 
Security policy is a critical property in software applications which require high levels of safety and security. It has to be clearly specified in requirement documents and its implementation must be conformed to the specification. In this paper, we propose an approach to check if the implementation is in accordance with its security policy specification. We use the Abstract Syntax Tree (AST), another manner of expressing the program, to analyze the source code and specify user permission policy in software systems by Role-Based Access Control (RBAC).
Index Terms:
RBAC policy, conformance checking, AST
Citation:
Tuan-Hung Pham, Ninh-Thuan Truong, Viet-Ha Nguyen, "Analyzing RBAC Security Policy of Implementation Using AST," kse, pp.215-219, 2009 International Conference on Knowledge and Systems Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.