David Basin

David Basin

Eidgenössische Technische Hochschule ETH Zürich - Zurich / Switzerland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1101725
Swiss Federal Institute of Technology ETH Zurich
person_outline David Basin's MOST POPULAR ARTICLES
1-) The AVISPA tool for the automated validation of internet security protocols and applicationsA Armando, D Basin, Y Boichut, Y Chevalier, L Compagna, J Cuéllar, ...International conference on computer aided verification, 281-285, 200513982005
2-) SecureUML: A UML-based modeling language for model-driven securityT Lodderstedt, D Basin, J DoserInternational Conference on the Unified Modeling Language, 426-441, 200211302002
3-) The TAMARIN prover for the symbolic analysis of security protocolsS Meier, B Schmidt, C Cremers, D BasinComputer Aided Verification: 25th International Conference, CAV 2013, Saint …, 20137122013
4-) Handbook of model checkingSpringer 10, 978-3, 2018843*2018
5-) Model driven security: From UML models to access control infrastructuresD Basin, J Doser, T LodderstedtACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 39-91, 20067322006