 | 2011 |
| 15 |  | Moritz Y. Becker,
Masoud Koleini:
Opacity Analysis in Trust Management Systems.
ISC 2011: 229-245 |
| 14 |  | Moritz Y. Becker,
Jason F. Mackay:
Relaxed Safeness in Datalog-Based Policies.
RuleML America 2011: 49-57 |
| 2010 |
| 13 |  | Moritz Y. Becker:
Information Flow in Credential Systems.
CSF 2010: 171-185 |
| 12 |  | Moritz Y. Becker,
Alexander Malkis,
Laurent Bussard:
A Practical Generic Privacy Language.
ICISS 2010: 125-139 |
| 11 |  | Moritz Y. Becker,
Sebastian Nanz:
A logic for state-modifying authorization policies.
ACM Trans. Inf. Syst. Secur. 13(3): (2010) |
| 10 |  | Moritz Y. Becker,
Cédric Fournet,
Andrew D. Gordon:
SecPAL: Design and semantics of a decentralized authorization language.
Journal of Computer Security 18(4): 619-665 (2010) |
| 2009 |
| 9 |  | Moritz Y. Becker:
Specification and Analysis of Dynamic Authorisation Policies.
CSF 2009: 203-217 |
| 8 |  | Moritz Y. Becker,
Jason F. Mackay,
Blair Dillaway:
Abductive Authorization Credential Gathering.
POLICY 2009: 1-8 |
| 2008 |
| 7 |  | Moritz Y. Becker,
Sebastian Nanz:
The Role of Abduction in Declarative Authorization Policies.
PADL 2008: 84-99 |
| 2007 |
| 6 |  | Moritz Y. Becker,
Cédric Fournet,
Andrew D. Gordon:
Design and Semantics of a Decentralized Authorization Language.
CSF 2007: 3-15 |
| 5 |  | Moritz Y. Becker,
Sebastian Nanz:
A Logic for State-Modifying Authorization Policies.
ESORICS 2007: 203-218 |
| 4 |  | Moritz Y. Becker:
Information governance in NHS's NPfIT: A case for policy specification.
I. J. Medical Informatics 76(5-6): 432-437 (2007) |
| 2004 |
| 3 |  | Moritz Y. Becker,
Peter Sewell:
Cassandra: Flexible Trust Management, Applied to Electronic Health Records.
CSFW 2004: 139-154 |
| 2 |  | 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) |