Union and Intersection Types for Secure Protocol Implementations

DOI10.1007/978-3-642-27375-9_1zbMATH Open1378.94020OpenAlexW2137402267MaRDI QIDQ2902912FDOQ2902912

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

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

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

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)