Links

Home

Results

People

Publications

Software

Publications

Tom Chothia, Dominic Duggan, Jan Vitek, "Type-Based Distributed Access Control", IEEE Computer Security Foundations Workshop, p. 170, vol. 16, (2003).

Dominic Duggan, "Type-Based Cryptographic Operations", Journal of Computer Security, p. 485, vol. 12, (2004).

Tom Chothia, Dominic Duggan, Jan Vitek, "Principals, Policies and Keys in a Secure Distributed Programming Language", Foundations of Computer Security (2004).

Tom Chothia, Dominic Duggan, Ye Wu, "Trusting the Network", Foundations of Computer Security, (2005).

Tom Chothia, Dominic Duggan, "Capability Passing Processes", Science of Computer Programming, p. 184, vol. 66, (2007).

Tom Chothia, Dominic Duggan, Ye Wu, "An End-To-End Approach to Distributed Policy Language", Security in Rewriting Techniques (SecReT). Electronic Lecture Notes in Computer Science, p. 3, vol. 171, (2007).

Dominic Duggan, Ye Wu. "Causality and Accountability", Formal Aspects of Security and Trust, October 2008. Springer-Verlag Lecture Notes in Computer Science, vol 5491, p. 82-96 (2009).

Tom Chothia, Dominic Duggan, Jan Vitek, Ye Wu. "Jeddak: Type-Based Support for Policy-Based Secure Programming." Stevens Institute of Technology Computer Science Technical Report 2009-2 (2009).