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á bibliografie

Vydáno v:	2010 25th Annual IEEE Symposium on Logic in Computer Science s. 110
Hlavní autor:	Abadi, M
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.07.2010
Témata:	Complexity theory Computational modeling Cryptography Protocols Semantics Silicon
ISBN:	9781424475889, 1424475880
ISSN:	1043-6871
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!