Channel abstractions for network security

DOI10.1017/S0960129509990247zbMATH Open1191.68269DBLPjournals/mscs/BugliesiF10WikidataQ62045679 ScholiaQ62045679MaRDI QIDQ3550700FDOQ3550700

Authors: Michele Bugliesi, Riccardo Focardi 

Publication date: 1 April 2010

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

Recommendations

• Security abstractions and intruder models (extended abstract)
• Secure implementations of typed channel abstractions
• Equal to the task?
• Secure implementation of channel abstractions
• scientific article; zbMATH DE number 1864587

zbMATH Keywords

bisimulation equivalencesintruder model

Mathematics Subject Classification ID

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

Cites Work

• A calculus of mobile processes. I
• A calculus for cryptographic protocols: The spi calculus
• On reduction-based process semantics
• On asynchrony in name-passing calculi
• Private authentication
• Secure implementation of channel abstractions
• Security abstractions and intruder models (extended abstract)

Cited In (1)

• Security abstractions and intruder models (extended abstract)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3550700)