Formal aspects in security and trust

By Workshop On Formal Aspects In Security And Trust 2nd 2004 Toulouse France

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series inc...

Data Privacy Management and Security Assurance

By Joaquin Garcia Alfaro, Fabio Martinelli, Guillermo Navarro Arribas, Alessandro Aldini, Neeraj Suri

Data Privacy Management and Security Assurance

By Giovanni Livraga, Fabio Martinelli, Vicenc Torra, Alessandro Aldini, Neeraj Suri

Engineering Secure Future Internet Services and Systems

By Wouter Joosen, Maritta Heisel, Fabio Martinelli, Javier Lopez

ICT Systems Security and Privacy Protection

By Fabio Martinelli, Sabrina De Capitani Di Vimercati

Methods of contemporary mathematical statistical physics

By R. Kotecky, Marek Biskup

This volume presents a collection of courses introducing the reader to the recent progress with attention being paid to laying solid grounds and developing various basic tools. An introductory chap...

Methods of Contemporary Mathematical Statistical Physics Lecture Notes in Mathematics Book 1970

By Frank Den Hollander, Fabio Martinelli, Karel Netocny, Anton Bovier, Dima Ioffe, Marek Biskup, Christina Toninelli

Probability on Discrete Structures

By

Foundations of Security Analysis and Design III

By

Probability on Discrete Structures

By Fabio Martinelli, J. Michael Steele, Laurent Saloff Coste, David Aldous, A. S Sznitman, C. Douglas Howard, Harry Kesten, S. R. S. Varadhan, Geoffrey Grimmett

Most probability problems involve random variables indexed by space and/or time. These problems almost always have a version in which space and/or time are taken to be discrete. This volume deals w...