CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Rossi S
Latest
A process algebra for (delimited) persistent stochastic non-interference
Proportional Lumpability
Action Refinement in Process Algebra and Security Issues
Compositional information flow security for concurrent programs
Combining static and dynamic analysis for the verification of Information Flow Security in Concurrent Programs
Information flow in secure contexts
Unwinding Conditions for Security in Imperative Languages
CoPS - Checker of Persistent Security
Modelling Downgrading in Information Flow Security
Unwinding in Information Flow Security
Verifying Persistent Security Properties
A Proof System for Information Flow Security
Bisimulation and Unwinding for Verifying Possibilistic Security Properties
Information Flow Security and Recursive Systems
Refinement Operators and Information Flow Security
Secure Contexts for Confidential Data
Proofs Methods for Bisimulation Based Information Flow Security
Transforming Processes to Check and Ensure Information Flow Security
Cite
×