loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 32nd Annual IEEE International Computer Software and Applications Conference
Access Control Framework for Secure Network Computing Environment
July 28-August 01
ISBN: 978-0-7695-3262-2
ASCII Text
x 
 
Manpreet Singh, Manjeet S. Patterh, "Access Control Framework for Secure Network Computing Environment," Computer Software and Applications Conference, Annual International, pp. 655-660, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2008.64,
author = {Manpreet Singh and Manjeet S. Patterh},
title = {Access Control Framework for Secure Network Computing Environment},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {2008},
issn = {0730-3157},
pages = {655-660},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.64},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Access Control Framework for Secure Network Computing Environment
SN - 0730-3157
SP655
EP660
A1 - Manpreet Singh,
A1 - Manjeet S. Patterh,
PY - 2008
KW - Access Control
KW - Information Flow Control
KW - Z Notation
KW - Formal Methods
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -
 
This paper demonstrates the use of formal methods for to design a formal specification framework corresponding to the security model defined for network system and its operating environment. The formal specification language used for developing the framework is Z formal specification notation By using Z notation the level of complexity was controlled to provide a simplified exposition of integrated rules, without allowing the formal notation to add to the complexity.
Index Terms:
Access Control, Information Flow Control, Z Notation, Formal Methods
Citation:
Manpreet Singh, Manjeet S. Patterh, "Access Control Framework for Secure Network Computing Environment," compsac, pp.655-660, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Usage of this product signifies your acceptance of the Terms of Use.