EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Editor: Martinelli, F.

Home Policy Brochure Browse Search User Area Contact Help

Number of items: 7.

2009

Spiessens, F. and den Hartog, J.I. and Etalle, S. (2009) Know what you trust. In: Formal Aspects in Security and Trust, 5th International Workshop, Malaga, Spain. pp. 129-142. Lecture Notes in Computer Science 5491. Springer Verlag. ISBN 978-3-642-01464-2

2007

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 ***

2004

Corin, R.J. and Doumen, J.M. and Etalle, S. (2004) Analysing Password Protocol Security Against Off-line Dictionary Attacks. In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), 26 June 2004, Bologna, Italy. pp. 47-63. Electronic Notes in Theoretical Computer Science 121. Elsevier. ISSN 1571-0661

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

Corin, R.J. and Etalle, S. and den Hartog, J.I. and Lenzini, G. and Staicu, I.S. (2004) A Logic for Auditing Accountability in Decentralized Systems. In: 2nd Int. Workshop on Formal Aspect of Security and Trust (FAST), Toulouse, France. pp. 187-201. Springer-Verlag. ISBN 0-387-24050-0

den Hartog, J.I. and de Vink, E.P. (2004) Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. In: 2nd Int. Workshop on Formal Aspect of Security and Trust (FAST), Toulouse, France. pp. 85-98. Kluwer Academic Publishers. ISBN 0-387-24050-0

2003

ter Beek, M. and Lenzini, G. and Petrocchi, M. (2003) Team Automata for Security Analysis of Multicast/Broadcast Communication. In: ATPN Workshop on Issues in Security and Petri Nets (WISP), 23 June 2003, Eindhoven, The Netherlands. pp. 57-62. Beta Research School for Operations Management and Logistics. ISBN not assigned

This list was generated on Thu May 24 07:16:31 CEST 2012.