Jan Cederquist
Jan Cederquist
Instituto Superior TÚcnico, University of Lisbon
Verified email at tecnico.ulisboa.pt - Homepage
Title
Cited by
Cited by
Year
Audit-based compliance control
JG Cederquist, R Corin, MAC Dekker, S Etalle, JI den Hartog, G Lenzini
International Journal of Information Security 6 (2), 133-151, 2007
1172007
An audit logic for accountability
JG Cederquist, R Conn, MAC Dekker, S Etalle, JI Den Hartog
Sixth IEEE International Workshop on Policies for Distributed Systems andá…, 2005
782005
Entailment relations and distributive lattices
J Cederquist, T Coquand
Logic Colloquium 98, 127-139, 1998
781998
A machine-checked formalization of the generic model and the random oracle model
G Barthe, J Cederquist, S Tarento
International Joint Conference on Automated Reasoning, 385-399, 2004
462004
A constructive proof of the Heine-Borel covering theorem for formal reals
J Cederquist, S Negri
International Workshop on Types for Proofs and Programs, 62-75, 1995
411995
The Hahn-Banach theorem in type theory
J Cederquist, T Coquand, S Negri
Twenty-Five years of Constructive Type Theory, Oxford, 1998
321998
On the quest for impartiality: Design and analysis of a fair non-repudiation protocol
J Cederquist, R Corin, MT Dashti
International Conference on Information and Communications Security, 27-39, 2005
262005
An intruder model for verifying liveness in security protocols
J Cederquist, MT Dashti
Proceedings of the fourth ACM workshop on Formal methods in security, 23-32, 2006
232006
A certified email protocol using key chains
J Cederquist, MT Dashti, S Mauw
21st International Conference on Advanced Information Networking andá…, 2007
192007
Entailment relations and Distributive Lattices Logic Colloquium’98 (Prague), 127–139, Lect
J Cederquist, T Coquand
Notes Log 13, 2000
132000
The audit logic: Policy compliance in distributed systems
JG Cederquist, RJ Corin, MAC Dekker, S Etalle, J den Hartog, G Lenzini
Centre for Telematics and Information Technology (CTIT), 2006
122006
An introduction to well-ordering proofs in Martin-Lof’s type theory
A Setzer
Twenty-ve years of constructive type theory, 245-263, 1998
121998
A machine assisted formalization of pointfree topology in type theory
J Cederquist
Department of Computing Science, 1994
121994
Formal analysis of a fair payment protocol
J Cederquist, MT Dashti
IFIP World Computer Congress, TC 1, 41-54, 2004
112004
An intruder model for verifying termination in security protocols
JG Cederquist, MT Dashti
Centre for Telematics and Information Technology, University of Twente, 2005
102005
A pointfree approach to constructive analysis in type theory
J Cederquist
Department of Computing Science, 1997
101997
Non-disclosure for distributed mobile code
AA Matos
International Conference on Foundations of Software Technology andá…, 2005
82005
Extended privilege inheritance in RBAC
MAC Dekker, JG Cederquist, J Crampton, S Etalle
Proceedings of the 2nd ACM symposium on Information, computer andá…, 2007
72007
A machine assisted proof of the Hahn-Banach theorem
J Cederquist
submitted for publication, 1997
61997
An implementation of the Heine-Borel covering theorem in type theory
J Cederquist
International Workshop on Types for Proofs and Programs, 46-65, 1996
61996
The system can't perform the operation now. Try again later.
Articles 1–20