R. Focardi

Latest

• Nesting Analysis of Mobile Ambients
• Verifying Persistent Security Properties
• A Proof System for Information Flow Security
• BANANA - A Tool for Boundary Ambients Nesting ANAlysis
• Bisimulation and Unwinding for Verifying Possibilistic Security Properties
• Complexity of Nesting Analysis in Mobile Ambients
• Refinement Operators and Information Flow Security
• Proofs Methods for Bisimulation Based Information Flow Security
• Transforming Processes to Check and Ensure Information Flow Security