On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols

Backes, Michael and Busenius, Alex and Hriţcu, Cătălin
(2012) On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols.
In: Proc. 4th NASA Formal Methods Symposium (NFM 2012).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item