pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN V
FOSAD 2008/2009 TUTORIAL LECTURES
By: Alessandro Aldini (Editor), Gilles Barthe (Editor), Roberto Gorrieri (Editor)
Format: Paperback

List price: £39.99


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 364203828X
ISBN 13: 9783642038280
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 17 August, 2009
Series: Lecture Notes in Computer Science 5705
Pages: 339
Description: This book presents tutorial lectures from three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009. Topics include cryptographic protocol analysis, identity management and electronic voting, and wireless security.
Synopsis: 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 good 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 favour discussions and novel scientific collaborations.This book presents thoroughly revised versions of ten tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009, held in Bertinoro, Italy, in September 2007, August 2008, and August/September 2009. The topics covered in this book include cryptographic protocol analysis, program and resource certification, identity management and electronic voting, access and authorization control, wireless security, mobile code and communications security.
Illustrations: VIII, 339 p.
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
A PROCESS ALGEBRAIC APPROACH TO SOFTWARE ARCHITECTURE DESIGN (HB)
A PROCESS ALGEBRAIC APPROACH TO SOFTWARE ARCHITECTURE DESIGN (PB)
APPLIED SEMANTICS (PB)
AUTOMATA, LANGUAGES AND PROGRAMMING (PB)
COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (PB)
COMPUTER PERFORMANCE ENGINEERING (PB)
CONSTRUCTION AND ANALYSIS OF SAFE, SECURE, AND INTEROPERABLE SMART DEVICES (PB)
CONSTRUCTION AND ANALYSIS OF SAFE, SECURE, AND INTEROPERABLE SMART DEVICES (PB)
DATA PRIVACY MANAGEMENT AND SECURITY ASSURANCE (PB)
DATA PRIVACY MANAGEMENT, AND SECURITY ASSURANCE (PB)
DATA PRIVACY MANAGEMENT, AUTONOMOUS SPONTANEOUS SECURITY, AND SECURITY ASSURANCE (PB)
ENGINEERING SECURE SOFTWARE AND SYSTEMS (PB)
FORMAL ASPECTS OF SECURITY AND TRUST (PB)
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS (HB)
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS (PB)
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS (PB)
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS (PB)
FORMAL METHODS FOR QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES (PB)
FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN (PB)
FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN (PB)
FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN II (PB)
FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN III (PB)
FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN VI (PB)
FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN VII (PB)
FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN VIII (PB)
INTRODUCTION TO CONCURRENCY THEORY (HB)
INTRODUCTION TO CONCURRENCY THEORY (PB)
PROCESS ALGEBRAS FOR PETRI NETS (HB)
PROCESS ALGEBRAS FOR PETRI NETS (PB)
PROGRAMMING LANGUAGES AND SYSTEMS (PB)
SECURITY AND TRUST MANAGEMENT (PB)
SECURITY AND TRUST MANAGEMENT (PB)
SOFTWARE ENGINEERING AND FORMAL METHODS (PB)
TRUSTWORTHY GLOBAL COMPUTING (PB)
USER-CENTRIC NETWORKING (HB)
USER-CENTRIC NETWORKING (PB)
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (PB)

TOP SELLERS IN THIS CATEGORY
Data Driven Security (Paperback)
John Wiley & Sons Inc
Our Price : £34.19
more details
Official (ISC)2 Guide to the CISSP CBK (Hardback)
Apple Academic Press Inc.
Our Price : £59.39
more details
Web Application Security ()
O''Reilly Media
Our Price : £38.68
more details
BTEC Nationals Information Technology (Mixed media product)
Pearson Education Limited
Our Price : £29.84
more details
The Art of Deception (Paperback)
John Wiley & Sons Inc
Our Price : £7.30
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer communications & networking
 network security


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket