A Comparative Study of Information System's security by using Graphs

This Paper illustrates that all the projects to design or develop secure information system for processing classified information have had a formal mathematical model like graphs for security as part of the top level definition of the system.The different graphs models provide as precise description of the behaviour desired of the security relevant portions of the system.