Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Secure Protocol Implementations

Backes, Michael and Hriţcu, Cătălin and Maffei, Matteo
(2013) Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Secure Protocol Implementations.
Special issue of the Journal of Computer Security (JCS) for TOSCA-SecCo.

Full text not available from this repository.
Item Type: Article
Additional Information: pub_id: 503 Bibtex: BaHrMa_13:UnionIntersection URL date: None
Uncontrolled Keywords: security
Divisions: Michael Backes (InfSec)
Depositing User: Sebastian Weisgerber
Date Deposited: 26 Jul 2017 10:33
Last Modified: 18 Jul 2019 12:09
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/1044

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.