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

Registration, Add Profile,
Premium Membership

Print Your Certificate

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, 2018860*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, 20067302006

ARTICLES

Add your articles