The Fine Print of Security

Summary form only given. Simple views of systems are often convenient in their design and analysis. However, attackers may attempt to exploit any oversimplification. For security, it is therefore useful to understand the value and the limitations of simplistic models. Computational-soundness theorem...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2010 25th Annual IEEE Symposium on Logic in Computer Science S. 110
1. Verfasser:	Abadi, M
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.07.2010
Schlagworte:	Complexity theory Computational modeling Cryptography Protocols Semantics Silicon
ISBN:	9781424475889, 1424475880
ISSN:	1043-6871
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!