Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

9 results for David Basin

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
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