Union and Intersection Types for Secure Protocol Implementations

Backes, Michael and Hriţcu, Cătălin and Maffei, Matteo
(2011) Union and Intersection Types for Secure Protocol Implementations.
In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers.
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item