A Sound Decision Procedure for the Compositionality of Secrecy
Gilles Barthe; Benjamin Livshits; Riccardo Scandariato (Hrsg). Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Berlin: Springer 2012 S. 97 - 105
Erscheinungsjahr: 2012
ISBN/ISSN: 978-3-642-28165-5
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-28166-2_10
| Geprüft | Bibliothek |
