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.
Item Type: Conference or Workshop Item (A Paper) (Paper)
Additional Information: pub_id: 475 Bibtex: BaBuHr_12:DevelopmentAndFormalization URL date: None
Uncontrolled Keywords: security
Divisions: Michael Backes (InfSec)
Depositing User: Sebastian Weisgerber
Date Deposited: 26 Jul 2017 10:31
Last Modified: 18 Jul 2019 12:09
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/672

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.