A Bossi

Action Refinement in Process Algebra and Security Issues
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
Modelling Downgrading in Information Flow Security
Unwinding in Information Flow Security

Published with Wowchemy — the free, open source website builder that empowers creators.