EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Editor: Gorrieri, R.

Home Policy Brochure Browse Search User Area Contact Help

Number of items: 9.

2009

Jacobs, B.P.F. and Pieters, W. (2009) Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. In: Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures. Lecture Notes in Computer Science 5705. Springer Verlag, Berlin, pp. 121-144. ISSN 0302-9743 ISBN 978-3-642-03828-0

2007

Czenko, M.R. and Etalle, S. and Li, D. and Winsborough, W.H. (2007) An Introduction to the Role Based Trust Management Framework RT. In: Foundations of Security Analysis and Design IV -- FOSAD 2006/2007 Tutorial Lectures. Lecture Notes in Computer Science 4677. Springer Verlag, Berlin, pp. 246-281. ISBN 978-3-540-74809-0

2006

Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Defining Object-Oriented Execution Semantics Using Graph Transformations. In: Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, 14-16 June 2006, Bologna, Italy. pp. 186-201. Lecture Notes in Computer Science 4037. Springer Verlag. ISBN 978-3-540-34893-1

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

2003

Gnesi, S. and Lenzini, G. and Martinelli, F. (2003) Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. In: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time, Pisa, Italy. pp. 111-126. Electronic Notes in Theoretical Computer Science 99. Elsevier. ISSN 1571-0661

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

Corin, R.J. and Malladi, S. and Alves-Foss, J. and Etalle, S. (2003) Guess what? Here is a new tool that finds some new guessing attacks (Extended Abstract). In: IFIP WG 1.7 and ACM SIGPLAN Workshop on Issues in the Theory of Security (WITS), Warsaw, Poland. pp. 62-71. Dipartamento di Scienze dell'Informazione Universita di Bologna.

1999

Broersen, J.M. and Wieringa, R.J. (1999) A logic for the specification of multi-object systems. In: Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 15-18 Feb 1999, Firenze, Italy. pp. 387-398. IFIP Conference Proceedings 139. Kluwer Academic Publishers. ISBN 0792384296

van Rein, H. and Fokkinga, M.M. (1999) Protocol Assuring Universal Language. In: Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), 15-18 Feb 1999, Florence, Italy. pp. 241-258. IFIP Conference Proceedings 139. Kluwer Academic Publishers. ISBN 0-7923-8429-6

This list was generated on Thu May 24 06:24:06 CEST 2012.