Publications

9 results for David Basin

Obstruction-free authorization enforcement: Aligning security and business objectives
- - David Basin
  - Samuel J. Burri
  - et al.
- 2014
- Journal of Computer Security
Dynamic enforcement of abstract separation of duty constraints
- - David Basin
  - Samuel J. Burri
  - et al.
- 2012
- ACM TISSEC
Optimal workflow-aware authorizations
- - David Basin
  - Samuel J. Burri
  - et al.
- 2012
- SACMAT 2012
Separation of duties as a service
- - David Basin
  - Samuel J. Burri
  - et al.
- 2011
- ASIACCS 2011
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols
- - Sebastian Mödersheim
  - Luca Viganò
  - et al.
- 2010
- Journal of Computer Security
Obstruction-free authorization enforcement: Aligning security with business objectives
- - David Basin
  - Samuel J. Burri
  - et al.
- 2010
- CSF 2010
Efficient analysis of pattern-based constraint specifications
- - Michael Wahler
  - David Basin
  - et al.
- 2009
- Software and Systems Modeling
Runtime monitoring of metric first-order temporal properties
- - David Basin
  - Felix Klaedtke
  - et al.
- 2008
- FSTTCS 2008
Cryptographically sound theorem proving
- - Christoph Sprenger
  - David Basin
  - et al.
- 2006
- CSF 2006