Channel abstractions for network security

DOI10.1017/S0960129509990247zbMath1191.68269DBLPjournals/mscs/BugliesiF10WikidataQ62045679 ScholiaQ62045679MaRDI QIDQ3550700

Riccardo Focardi, Michele Bugliesi

Publication date: 1 April 2010

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

bisimulation equivalencesintruder model

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Cites Work

• A calculus of mobile processes. I
• A calculus for cryptographic protocols: The spi calculus
• On reduction-based process semantics
• Secure implementation of channel abstractions
• Private authentication
• On asynchrony in name-passing calculi
• Security Abstractions and Intruder Models (Extended Abstract)

This page was built for publication: Channel abstractions for network security