Access Control Framework for Secure Network Computing Environment

Author

Singh, Manpreet ; Patterh, Manjeet S.

Author_Institution

Punjabi Univ. Patiala, Patiala

fYear

2008

fDate

July 28 2008-Aug. 1 2008

Firstpage

655

Lastpage

660

Abstract

This paper demonstrates the use of formal methods 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.

Keywords

authorisation; computer networks; formal specification; specification languages; telecommunication computing; telecommunication security; Z formal specification notation; access control framework; formal specification language; secure network computing environment; security model; Access control; Application software; Computer applications; Computer networks; Computer security; Design methodology; Formal specifications; Logic; Proposals; Specification languages; Access Control; Formal Methods; Information Flow Control; Z Notation;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International

Conference_Location

Turku

ISSN

0730-3157

Print_ISBN

978-0-7695-3262-2

Electronic_ISBN

0730-3157

Type

conf

DOI

10.1109/COMPSAC.2008.64

Filename

4591643