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...

Celý popis

Podrobná bibliografia

Vydané v:	2010 25th Annual IEEE Symposium on Logic in Computer Science s. 110
Hlavný autor:	Abadi, M
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.07.2010
Predmet:	Complexity theory Computational modeling Cryptography Protocols Semantics Silicon
ISBN:	9781424475889, 1424475880
ISSN:	1043-6871
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!