Foundations of Security Analysis and Design II
From MaRDI portal
Publication:5901855
DOI10.1007/b95547zbMath1202.68173OpenAlexW4243744343MaRDI QIDQ5901855
Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz
Publication date: 14 May 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b95547
Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Static Evidences for Attack Reconstruction, Distributability of mobile ambients, A monotone framework for CCS, Hybrid logical analyses of the ambient calculus, From flow logic to static type systems for coordination languages, A Scalable Inclusion Constraint Solver Using Unification, Active Evaluation Contexts for Reaction Semantics