Result 1 to 20 of 22 total
Local memory via layout randomization (English)
CSF, 161-174 (2011).
1
Generative operational semantics for relaxed memory models. (English)
Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 307-326 (2010).
2
Generative operational semantics for relaxed memory models (English)
ESOP, 307-326 (2010).
3
Towards a theory of accountability and audit. (English)
Backes, Michael (ed.) et al., Computer security ‒ ESORICS 2009. 14th European symposium on research in computer security, Saint-Malo, France, September 21‒23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04443-4/pbk). Lecture Notes in Computer Science 5789, 152-167 (2009).
4
Open bisimulation for aspects. (English)
Rashid, Awais (ed.) et al., Transactions on Aspect-Oriented Software Development V. Berlin: Springer (ISBN 978-3-642-02058-2/pbk). Lecture Notes in Computer Science 5490. Journal Subline, 72-132 (2009).
5
Open bisimulation for aspects (English)
T. Aspect-Oriented Software Development 5, 72-132 (2009).
6
Towards a theory of accountability and audit (English)
ESORICS, 152-167 (2009).
7
$λ$-RBAC: programming with role-based access control. (English)
Log. Methods Comput. Sci. 4, No. 1, Paper 2, 24 p., electronic only (2008).
8
Tapido: Trust and authorization via provenance and integrity in distributed objects. (Extended abstract). (English)
Drossopoulou, Sophia (ed.), Programming languages and systems. 17th European symposium on programming, ESOP 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29‒April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78738-9/pbk). Lecture Notes in Computer Science 4960, 208-223 (2008).
9
Tapido: trust and authorization via provenance and integrity in distributed objects (Extended abstract) (English)
ESOP, 208-223 (2008).
10
Lambda-RBAC: Programming with role-based access control. (English)
Comput. Res. Repos. 2007, Article No. 0712.1205 (2007).
11
Open bisimulation for aspects (English)
AOSD, 107-120 (2007).
12
Do as I say! programmatic access control with explicit identities (English)
CSF, 16-30 (2007).
13
Specifications of a high-level conflict-free firewall policy language for multi-domain networks (English)
SACMAT, 185-194 (2007).
14
$λ$-RBAC: programming with role-based access control. (English)
Bugliesi, Michele (ed.) et al., Automata, languages and programming. 33rd international colloquium, ICALP 2006, Venice, Italy, July 10‒14, 2006. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-35907-4/pbk). Lecture Notes in Computer Science 4052, 456-467 (2006).
15
Dynamic policy discovery with remote attestation. (Extended abstract). (English)
Aceto, Luca (ed.) et al., Foundations of software science and computation structures. 9th international conference, FOSSACS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25‒31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33045-3/pbk). Lecture Notes in Computer Science 3921, 111-125 (2006).
16
{\it lambda}-RBAC: programming with role-based access control (English)
ICALP (2), 456-467 (2006).
17
Games for controls (English)
CSFW, 70-84 (2006).
18
Dynamic policy discovery with remote attestation (English)
FoSSaCS, 111-125 (2006).
19
Timed constraint programming: a declarative approach to usage control (English)
PPDP, 164-175 (2005).
20
Result 1 to 20 of 22 total
Start
Contact
Print
General Help
