Channel abstractions for network security

DOI10.1017/S0960129509990247MaRDI QIDQ3550700zbMATH OpenDBLPWikidataFDO

Authors Michele Bugliesi, Riccardo Focardi

Publication date 1 April 2010

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

Full work available at URL https://doi.org/10.1017/S0960129509990247

zbMATH Keywords

bisimulation equivalencesintruder model

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(2)

• scientific article; zbMATH DE number 1231619 (Why is no real title available?)
• 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)