loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh International Conference on Networking (icn 2008)
An Application of the (max, +) Algebra to Information Flow Security
April 13-April 18
ISBN: 978-0-7695-3106-9
Confidentiality is one of the most important topics in computer security research. In order to check and ensure confidentiality information flow models are widely used. These models support the specification of valid flows of information. Furthermore, they provide means to formally check whether a given system fulfills a certain security property within this model. In this paper, we propose an information flow model which accounts for different security concerns. In this model, each participant of the communication may have a different role and, thus, different clearance levels for each security concern. Moreover, we demonstrate the application of the maxplus Algebra to analyze the security of a given system and provide an algebraic check for the security property. This includes a method to derive assignments of security clearance levels that do not invalidate the system's security.
Index Terms:
information flow, security, maxplus, lattice model
Citation:
Matthias Werner, Michael A. Jaeger, Helge Parzyjegla, "An Application of the (max, +) Algebra to Information Flow Security," icn, pp.262-266, Seventh International Conference on Networking (icn 2008), 2008
Usage of this product signifies your acceptance of the Terms of Use.