Safe ambients: Control flow analysis and security
From MaRDI portal
Recommendations
- Programming Languages and Systems
- scientific article; zbMATH DE number 1860626
- Safe ambients: Abstract machine and distributed implementation
- Security through safety. An approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour
- Compliance control safety: An architecture‐independent analysis
Cited in
(22)- Dynamic management of capabilities in a network aware coordination language
- A security flow control algorithm and its denotational semantics correctness proof
- Static analysis for the \(\pi\)-calculus with applications to security
- Security boundaries in mobile ambients
- Nesting analysis of mobile ambients
- On abstract interpretation of mobile ambients
- Information flow security in boundary ambients
- A typed encoding of boxed into safe ambients
- Types for the ambient calculus
- Safe ambients: Abstract machine and distributed implementation
- A type inference algorithm for secure ambients
- A fully abstract model for mobile ambients
- Techniques for security checking: non-interference vs control flow analysis
- Information leakage detection in boundary ambients
- Pierpaolo Degano
- scientific article; zbMATH DE number 1860626 (Why is no real title available?)
- Programming Languages and Systems
- Foundations of Security Analysis and Design II
- The synchronized ambient calculus
- An efficient abstract machine for safe ambients
- From flow logic to static type systems for coordination languages
- Abstract interpretation based verification of temporal properties for BioAmbients
This page was built for publication: Safe ambients: Control flow analysis and security
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2766538)
