scientific article; zbMATH DE number 1834562
From MaRDI portal
zbMath1005.68064MaRDI QIDQ4779098
Flemming Nielson, Chiara Bodei, H. Riis Nielson, Pierpaolo Degano
Publication date: 24 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Magic-sets for localised analysis of Java bytecode, A static analysis of cryptographic processes: the denotational approach, Abstract interpretation of mobile systems, Information Leakage Analysis by Abstract Interpretation, Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols, Cryptographic Analysis in Cubic Time, Techniques for Security Checking, Unwinding biological systems
