Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 : revised selected papers / Sebastian Mödersheim, Catuscia Palamidessi (eds.).

By:

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany)

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 6993. | LNCS sublibrary. SL 4, Security and cryptology.Publication details: Berlin ; New York : Springer, ©2012.Description: 1 online resource (vi, 224 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783642273759
3642273750

Other title:

TOSCA 2011

Subject(s): Genre/Form:

Additional physical formats: Printed edition:: No titleDDC classification:

005.8 23

LOC classification:

QA76.9.A25 J65 2012

Online resources:

Click here to access online

Summary: This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrucken, Germany, in March/April 2011, in association with ETAPS 2011. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 24 submissions. The papers feature topics including various methods in computer security, including the formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, and the modeling of information flow and its application.

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	eBook LNCS		Available

Total holds: 0

Includes bibliographical references and author index.

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrucken, Germany, in March/April 2011, in association with ETAPS 2011. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 24 submissions. The papers feature topics including various methods in computer security, including the formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, and the modeling of information flow and its application.

English.