The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
Research efforts have been directed toward the improvement of privacy protecting technology by incorporating privacy protection into database systems. Purpose acts as a central co...
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...