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
Practical Packet Analysis, 3e (Paperback)
No Starch Press,US
Our Price : £35.03
more details
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
The Art of Invisibility (Paperback)
Little, Brown & Company
Our Price : £12.74
more details
The Art of Intrusion (Paperback)
John Wiley and Sons Ltd
Our Price : £10.22
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
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket