EEMCS

Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. and Lenzini, G. (2007) Audit-based compliance control. International Journal of Information Security, 6 (2-3). pp. 133-151. ISSN 1615-5262 *** ISI Impact 1,094 ***

Dekker, M.A.C. and Cederquist, J.G. and Crampton, J. and Etalle, S. (2007) Extended Privilege Inheritance in RBAC. In: Proceedings of the 2nd ACM symposium on Information, computer and communications security, ASIACCS 2007, March 20-22, Singapore. pp. 383-385. Conference on Computer and Communications Security. ACM Press. ISBN 1-59593-574-6

Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. and Lenzini, G. (2006) The Audit Logic: Policy Compliance in Distributed Systems. Technical Report TR-CTIT-06-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Cederquist, J.G. and Torabi Dashti, M. (2006) An intruder model for verifying liveness in security protocols. In: FMSE '06: Proceedings of the fourth ACM workshop on Formal methods in security, Alexandria, Virginia, USA. pp. 23-32. ACM. ISBN 1-59593-550-9

Dekker, M.A.C. and Cederquist, J.G. and Crampton, J. and Etalle, S. (2006) Extended Privilege Inheritance in RBAC. Technical Report TR-CTIT-06-62, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dekker, M.A.C. and Cederquist, J.G. and Crampton, J. and Etalle, S. (2006) Extended Privilege Inheritance in RBAC. Technical Report TR-CTIT-07-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. (2005) An Audit Logic for Accountability. Technical Report TR-CTIT-05-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Cederquist, J.G. and Corin, R.J. and Dekker, M.A.C. and Etalle, S. and den Hartog, J.I. (2005) An Audit Logic for Accountability. In: 6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005), 6-8 Jun 2005, Stockholm, Sweden. pp. 34-43. IEEE Computer Society. ISBN 0-7695-2265-3

Cederquist, J.G. and Corin, R.J. and Torabi Dashti, M. (2005) On the quest for impartiality: Design and Analysis of a fair non-repudiation protocol. Technical Report TR-CTIT-05-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Cederquist, J.G. and Corin, R.J. and Torabi Dashti, M. (2005) On the quest for impartiality: Design and analysis of a Fair Non-repudiation protocol. In: 7th International Conference on Information and Communications Security, ICICS 2005, 10-13 Dec 2005, Beijing, China. pp. 27-39. Lecture Notes in Computer Science 3783. Springer-Verlag. ISBN 3-540-30934-9

Cederquist, J.G. and Torabi Dashti, M. (2005) An Intruder Model for Verifying Termination in Security Protocols. Technical Report TR-CTIT-05-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Barthe, G. and Cederquist, J.G. and Tarento, S. (2004) A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. In: 2nd International Joint Conference on Automated Reasoning, IJCAR , 4-8 Jul 2004, Cork, Ireland. pp. 385-399. Lecture Notes in Computer Science 3097. Springer-Verlag. ISBN 3-540-22345-2

Cederquist, J.G. and Torabi Dashti, M. (2004) Formal Analysis of a Fair Payment Protocol. In: 2nd International Workshop on Formal Aspect of Security and Trust (FAST), 22-27 Aug 2004, Toulouse, France. pp. 41-54. IFIP International Federation for Information Processing 173. Kluwer Academic Publishers. ISBN 9780387240503

Cederquist, J.G. and Coquand, T. (2000) Entailment relations and distributive lattices. In: Logic Colloquium 1998, 09-15 Aug 1998, Prague, Czech Republic. pp. 110-123. Lecture Notes in Logic 13. Association for Symbolic Logic in cooperation with A K Peters. ISBN 1-56881-113-6

Cederquist, J.G. and Coquand, T. and Negri, S. (1998) The Hahn-Banach Theorem in Type Theory. In: Twenty-five years of Constructive Type Theory. Oxford Univ. Press, Oxford, UK, pp. 57-72. ISBN 0-19-850127-7

Cederquist, J.G. (1997) A Pointfree Approach to Constructive Analysis in Type Theory. PhD thesis, Chalmers Univ. of Technology and Univ. of Göteborg, Sweden.

Cederquist, J.G. (1996) An Implementation of the Heine-Borel Covering Theorem in Type Theory. In: 4th Int. Workshop on Types for Proofs and Programs (TYPES), Aussois, France. pp. 46-65. Springer-Verlag. ISBN 3-540-65137-3

Cederquist, J.G. and Negri, S. (1995) A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals. In: 3rd Int. Workshop on Types for Proofs and Programs (TYPES), Torino, Italy. pp. 62-75. Springer-Verlag. ISBN 3-540-61780-9