Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
To control complicated and decomposable networking functions, such as Diffserv, two or more policies must cooperate. Combining two or more mutually dependent policies for a specifi...
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...