Meier, JanJanMeier2024-02-222024-02-222011-07-1816th International Workshop on Security Protocols (2008)978-3-642-22136-1https://hdl.handle.net/11420/45921Tuomas 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. © 2011 Springer-Verlag.enComputer SciencesConference Paper10.1007/978-3-642-22137-8_6Conference Paper