Optimal workflow-aware authorizations
- David Basin
- Samuel J. Burri
- et al.
- 2012
- SACMAT 2012
Publications
Date
Featured collections
Popular topics
9 results for David Basin
Separation of duties as a service
- David Basin
- Samuel J. Burri
- et al.
- 2011
- ASIACCS 2011
Obstruction-free authorization enforcement: Aligning security with business objectives
- David Basin
- Samuel J. Burri
- et al.
- 2010
- CSF 2010
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
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
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
Efficient analysis of pattern-based constraint specifications
- Michael Wahler
- David Basin
- et al.
- 2009
- Software and Systems Modeling