2008 | ||
---|---|---|
6 | EE | Moritz Y. Becker, Sebastian Nanz: The Role of Abduction in Declarative Authorization Policies. PADL 2008: 84-99 |
2007 | ||
5 | EE | Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon: Design and Semantics of a Decentralized Authorization Language. CSF 2007: 3-15 |
4 | EE | Moritz Y. Becker, Sebastian Nanz: A Logic for State-Modifying Authorization Policies. ESORICS 2007: 203-218 |
2004 | ||
3 | EE | Moritz Y. Becker, Peter Sewell: Cassandra: Flexible Trust Management, Applied to Electronic Health Records. CSFW 2004: 139-154 |
2 | EE | Moritz Y. Becker, Peter Sewell: Cassandra: Distributed Access Control Policies with Tunable Expressiveness. POLICY 2004: 159-168 |
2001 | ||
1 | Moritz Y. Becker, Isabel Rojas: A graph layout algorithm for drawing metabolic pathways Bioinformatics 17(5): 461-467 (2001) |
1 | Cédric Fournet | [5] |
2 | Andrew D. Gordon (Andy Gordon) | [5] |
3 | Sebastian Nanz | [4] [6] |
4 | Isabel Rojas | [1] |
5 | Peter Sewell | [2] [3] |