An Application of the (max, +) Algebra to Information Flow Security - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Matthias Werner, Michael A. Jaeger, Helge Parzyjegla. An Application of the (max, +) Algebra to Information Flow Security. In Seventh International Conference on Networking (ICN 2008), 13-18 April 2008, Cancun, Mexico. pages 262-266, IEEE Computer Society, 2008. [doi]

The following publications are possibly variants of this publication:

Toward Automated Information-Flow Integrity Verification for Security-Critical ApplicationsUmesh Shankar, Trent Jaeger, Reiner Sailer. ndss 2006: [doi]

runs on WebDSL