Union and Intersection Types for Secure Protocol Implementations

DOI10.1007/978-3-642-27375-9_1MaRDI QIDQ2902912zbMATH OpenOpenAlexFDO

Authors Michael Backes, Cătălin Hriţcu, Matteo Maffei

Publication date 22 August 2012

Published in Theory of Security and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-27375-9_1

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Recommendations

• A uniform type structure for secure information flow
• Typed multiset rewriting specifications of security protocols
• Secure implementations of typed channel abstractions
• scientific article; zbMATH DE number 1948407
• Typing and compositionality for security protocols: a generalization to the geometric fragment
• A type inference algorithm for secure ambients
• Cryptographically sound implementations for typed information-flow security
• Verification, Model Checking, and Abstract Interpretation
• Fundamentals of Computation Theory

Cited in

(4)

• Logical foundations of secure resource management in protocol implementations
• State of the Union: Type Inference Via Craig Interpolation
• Cryptographic Verification by Typing for a Sample Protocol Implementation
• A uniform type structure for secure information flow

This page was built for publication: Union and Intersection Types for Secure Protocol Implementations

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