Information and Communications Security

DOI10.1007/11602897zbMath1122.94372OpenAlexW4301079923MaRDI QIDQ5393997

Alaaeddine Fellah, John Mullins

Publication date: 24 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11602897

zbMATH Keywords

Process AlgebraType systemsCryptographic ProtocolsAdmissible interferenceSecurity Properties

Mathematics Subject Classification ID

Cryptography (94A60) Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Information and Communications Security