Options
Do not model the attacker (transcript of discussion)
Publikationstyp
Conference Paper
Date Issued
2011-07-18
Sprache
English
First published in
Number in series
6615
Start Page
36
End Page
37
Citation
16th International Workshop on Security Protocols (2008)
Contribution to Conference
Publisher DOI
Scopus ID
Publisher
Springer
ISBN
978-3-642-22136-1
Tuomas Aura: You criticised the fact that tools have built in assumptions, but this depends on the tool user. If you think of things such as program-defining tools, or program checkers, something that you want someone to use over and over again, they should do things automatically, and get it right most of the time. In that case you don't want the user to start to model the assumptions, or the security protocols, but you instead want these to be built in, in all possible combinations.
DDC Class
004: Computer Sciences