Access Control Framework for Secure Network Computing Environment

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.