Secrecy and group creation

DOI10.1016/J.IC.2004.08.003MaRDI QIDQ1763430zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Luca Cardelli, G. Ghelli, Andrew D. Gordon

Publication date 22 February 2005

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2004.08.003

zbMATH Keywords

Secrecy\(\pi\)-CalculusSecurity types

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1759623
• Group anonymity
• Secret sharing in hierarchical groups
• scientific article; zbMATH DE number 1487488
• Hidden Group Structure
• Protocols for group oriented secret sharing
• Secrecy via Sources and Channels
• scientific article; zbMATH DE number 1189396
• Interactively secure groups from obfuscation

Cites work

• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 1223731 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1759623 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• A lattice model of secure information flow
• A new approach to abstract syntax with variable binding
• On the security of public key protocols
• Polarized name passing
• Region analysis and a π-calculus with groups
• Region-based memory management
• Secrecy by typing in security protocols
• Secrecy types for asymmetric communication.
• Static analysis for the \(\pi\)-calculus with applications to security
• The \(\pi\)-calculus: A theory of mobile processes
• Types for the ambient calculus

Cited in

(5)

• scientific article; zbMATH DE number 1759623 (Why is no real title available?)
• The \(C_\pi\)-calculus: a model for confidential name passing
• Hidden Group Structure
• A type system for Discretionary Access Control
• A chart semantics for the pi-calculus

This page was built for publication: Secrecy and group creation

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