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

Full description

Bibliographic Details

Published in:	2010 25th Annual IEEE Symposium on Logic in Computer Science p. 110
Main Author:	Abadi, M
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.07.2010
Subjects:	Complexity theory Computational modeling Cryptography Protocols Semantics Silicon
ISBN:	9781424475889, 1424475880
ISSN:	1043-6871
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!