WorldCat Identities

Gorrieri, Roberto

Overview
Works: 37 works in 158 publications in 2 languages and 3,512 library holdings
Genres: Conference proceedings 
Roles: Editor, Other
Classifications: QA76.9.A25, 005.8
Publication Timeline
Key
Publications about  Roberto Gorrieri Publications about Roberto Gorrieri
Publications by  Roberto Gorrieri Publications by Roberto Gorrieri
Most widely held works by Roberto Gorrieri
Foundations of security analysis and design III FOSAD 2004/2005 tutorial lectures by Alessandro Aldini ( )
18 editions published in 2005 in English and held by 571 WorldCat member libraries worldwide
Annotation The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of research groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspects.This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2004/2005, held in Bertinoro, Italy, in September 2004 and September 2005. The lectures are devoted to: Justifying a Dolev-Yao Model under Active Attacks, Model-based Security Engineering with UML, Physical Security and Side-Channel Attacks, Static Analysis of Authentication, Formal Methods for Smartcard Security, Privacy-Preserving Database Systems, Intrusion Detection, Security and Trust Requirements Engineering
Formal methods for open object-based distributed systems 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings by Elie Najm ( )
16 editions published in 2006 in English and held by 522 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003. The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification
Foundations of security analysis and design IV FOSAD 2006/2007 tutorial lectures by Alessandro Aldini ( )
11 editions published in 2007 in English and held by 497 WorldCat member libraries worldwide
Computational methods in systems biology 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 ; proceedings by Pierpaolo Degano ( )
12 editions published in 2009 in English and held by 419 WorldCat member libraries worldwide
Foundations of security analysis and design VI FOSAD tutorial lectures by Alessandro Aldini ( )
9 editions published in 2011 in English and held by 376 WorldCat member libraries worldwide
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a timely spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open problems, and giving presentations about ongoing work in the field, in order to stimulate discussions and novel scientific collaborations. This book presents thoroughly revised versions of nine tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD, held in Bertinoro, Italy, in September 2010 and August/September 2011. The topics covered in this book include privacy and data protection; security APIs; cryptographic verification by typing; model-driven security; noninterfer-quantitative information flow analysis; and risk analysis
Foundations of security analysis and design : tutorial lectures by Riccardo Focardi ( Book )
20 editions published between 2001 and 2002 in English and held by 317 WorldCat member libraries worldwide
Security is a rapidly growing area of computer science, with direct and increasing relevance to real life applications such as Internet transactions, electronic commerce, information protection, network and systems integrity, etc. This volume presents thoroughly revised versions of lectures given by leading security researchers during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, held in Bertinoro, Italy in September. Mathematical Models of Computer Security (Peter Y.A. Ryan); The Logic of Authentication Protocols (Paul Syversen and Iliano Cervesato); Access Control: Policies, Models, and Mechanisms (Pierangela Samarati and Sabrina de Capitani di Vimercati); Security Goals: Packet Trajectories and Strand Spaces (Joshua D. Guttman); Notes on Nominal Calculi for Security and Mobility (Andrew D. Gordon); Classification of Security Properties (Riccardo Focardi and Roberto Gorrieri)
Foundations of security analysis and design II : FOSAD 2001/2002 turorial lectures by Riccardo Focardi ( Book )
12 editions published between 2004 and 2005 in English and held by 304 WorldCat member libraries worldwide
Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness.This book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro, Italy, in September 2001 and September 2002
Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings by Pierpaolo Degano ( Book )
14 editions published in 1997 in English and held by 290 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972. The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer science
Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy by International Conference on Formal Methods for Open Object-Based Distributed Systems ( Book )
2 editions published in 1999 in English and held by 61 WorldCat member libraries worldwide
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government
Foundations of security analysis and design V FOSAD 2007/2008/2009 tutorial lectures by Alessandro Aldini ( )
6 editions published in 2009 in English and held by 59 WorldCat member libraries worldwide
Vertical bisimulation by Arend Rensink ( Book )
1 edition published in 1998 in English and held by 13 WorldCat member libraries worldwide
On syntactic and semantic action refinement by Ursula Goltz ( Book )
3 editions published in 1992 in English and German and held by 12 WorldCat member libraries worldwide
Theoretical foundations of security analysis and design ( Book )
4 editions published in 2002 in English and held by 9 WorldCat member libraries worldwide
Theoretical aspects of coordination languages ( Book )
2 editions published in 1998 in English and held by 6 WorldCat member libraries worldwide
Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings by Roberto Gorrieri ( )
1 edition published in 2006 in English and held by 5 WorldCat member libraries worldwide
ICALP '97 by Languages, and Programming International Colloquium on Automata ( Book )
1 edition published in 1999 in English and held by 3 WorldCat member libraries worldwide
Formal methods for open object based distributed systems 8th IFIP WG 6.1 international conference ; proceedings ( )
1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide
Varieties of authentication by Roberto Gorrieri ( )
1 edition published in 1998 in English and held by 1 WorldCat member library worldwide
CVS: a compiler for the analysis of cryptographic protocols by Antonio Durante ( )
1 edition published in 1999 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.00 for Varieties ... to 0.86 for Foundation ...)
Alternative Names
Gorrieri, R.
Languages
English (138)
German (1)
Covers