1. Algebraic Intruder Deductions

Basin, David A., Mödersheim, Sebastian und Viganò, Luca (2005)

Reports

2. An On-the-fly model-checker for security protocol analysis

Basin, David A., Mödersheim, Sebastian und Viganò, Luca (2003)

Reports

3. Constraint differentiation: a new reduction technique for constraint-based analysis of security protocols

Basin, David A., Mödersheim, Sebastian und Viganò, Luca (2003)

Reports

4. Constructing Mid-points for Two-party Asynchronous Protocols

Tsankov, Petar, Torabi Dashti, Muhammad und Basin, David A. (2011)

Tagungsbeiträge

5. Controlling access to documents: a formal access control model

Sevinç, Paul E. und Basin, David A. (2006)

Reports

6. Data Node Encrypted File System

Reardon, Joel, Capkun, Srdjan und Basin, David A. (2013)

Reports

7. Developing topology discovery in Event-B*

Hoang, Thai Son, Kuruma, Hironobu, Basin, David A. und Abrial, Jean-Raymond (2008)

Reports

8. Efficient decision procedures for message deducibility and static equivalence

Conchinha, Bruno, Basin, David A. und Caleiro, Carlos (2010)

Reports

9. Evaluation of ISO/IEC 9798 Protocols

Basin, David A. und Cremers, Cas (2011)

Reports

10. FAST: An Efficient Decision Procedure for Deduction and Static Equivalence

Conchinha, Bruno, Basin, David A. und Caleiro, Carlos (2011)

Tagungsbeiträge

11. Formalizing and analyzing sender invariance

Drielsma, Paul David Hankes, Mödersheim, Sebastian, Viganò, Luca und Basin, David A.

Reports

12. In-depth fuzz testing of IKE implementations

Tsankov, Petar, Torabi Dashti, Mohammad und Basin, David A. (2011)

Reports

13. Midpoints versus endpoints

Bidder, Diana von, Basin, David A. und Caronni, Germano

Reports

14. Model-driven development of security-aware GUIs for data-centric applications

Basin, David A., Clavel, Manuel, Egea, Marina, García de Dios, Miguel A., Dania, Carolina, Ortiz, Gonzalo und Valdazo, Javier (2011)

Reports

15. Model driven security

Basin, David A., Doser, Jürgen und Lodderstedt, Torsten (2003)

Reports

16. Model driven security for process-oriented systems

Basin, David A., Doser, Jürgen und Lodderstedt, Torsten

Tagungsbeiträge

17. Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks

Schaller, Patrick, Schmidt, Benedikt, Basin, David A. und Capkun, Srdjan

Reports

18. Monitoring usage-control policies in distributed systems

Harvan, Matúš, Klaedtke, Felix, Zălinescu, Eugen und Basin, David A. (2011)

Reports

19. Obstruction-free Authorization Enforcement

Basin, David A., Burri, Samuel J. und Karjoth, Günter (2011)

Tagungsbeiträge

20. OFMC: A Symbolic Model-Checker for Security Protocols

Basin, David A., Mödersheim, Sebastian und Viganò, Luca (2004)

Reports

21. Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication

Basin, David A., Cremers, Cas und Meier, Simon (2012)

Reports

22. Refining key establishment

Sprenger, Christoph und Basin, David A. (2011)

Reports

23. Refining Key Establishment

Sprenger, Christoph und Basin, David A. (2013)

Tagungsbeiträge

24. SECFUZZ: Fuzz-testing Security Protocols

Tsankov, Petar, Torabi Dashti, Mohammad und Basin, David A. (2012)

Tagungsbeiträge

25. Separation of duties as a service

Burri, Samuel J., Basin, David A. und Karjoth, Günter (2011)

Tagungsbeiträge