Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers | Agenda Bookshop Skip to content
Selected Colleen Hoover Books at €9.99c | In-store & Online
Selected Colleen Hoover Books at €9.99c | In-store & Online
Age Group_Uncategorized
Age Group_Uncategorized
automatic-update
B01=Alessandro Armando
B01=Gavin Lowe
Category1=Non-Fiction
Category=GPJ
Category=UBJ
Category=UKN
Category=UMB
Category=UMC
Category=UMZ
Category=URY
COP=Germany
Delivery_Pre-order
Language_English
PA=Temporarily unavailable
Price_€50 to €100
PS=Active
softlaunch

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers

English

ThisvolumecontainstheworkshopproceedingsofARSPA-WITS2010,theJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, held during March 27-28, 2010 in Paphos (Cyprus). ARSPA-WITS2010o?eredaforumfordiscussingnewresultsintheoriesofc- putersecurity,openquestionsandfundamentalconcernsaboutexistingtheories, and issues related to the development and application of automated reas- ing techniques and tools for the formal speci?cation and analysis of security protocols. There were 28 submissions. All the submissions were thoroughly evaluated on the basis of at least three referee reports, and an electronic Program C- mittee meeting was held by using the EasyChair on-line conference system. The committee decided to accept the 11 papers included in this volume. The authors were giventhe opportunity to revise their paper in light of the feedback received during the workshop. The workshop program was enriched by two invited talks by Flemming Nielson and Catuscia Palamidessi, whose titles and abstracts are also included in this volume. April 2010 Alessandro Armando Gavin Lowe Conference Organization Program Chairs Alessandro Armando Universita di Genova, Italy (Co-chair) Gavin Lowe Oxford University, UK (Co-chair) Program Committee Lujo Bauer CMU, USA Yannick Chevalier Universite Toulouse III, France Luca Compagna SAP Research, France Cas Cremers ETHZ, Switzerland Jorge Cuellar Siemens, Germany Pierpaolo Degano Universita di Pisa, Italy Sandro Etalle Technical University of Eindhoven and University of Twente, The Netherlands Riccardo Focardi Universita di Venezia, Italy Dieter Gollman Technische Universitat Hamburg-Harburg, Germany Joshua Guttman MITRE, USA Jan Jurjens TU Dortmund and Fraunhofer ISST, Germany Gavin Lowe Oxford University, UK (Co-chair) Catherine Meadows Naval Research Laboratory, USA John Mitchell Stanford University, USA See more
Current price €61.19
Original price €67.99
Save 10%
Age Group_Uncategorizedautomatic-updateB01=Alessandro ArmandoB01=Gavin LoweCategory1=Non-FictionCategory=GPJCategory=UBJCategory=UKNCategory=UMBCategory=UMCCategory=UMZCategory=URYCOP=GermanyDelivery_Pre-orderLanguage_EnglishPA=Temporarily unavailablePrice_€50 to €100PS=Activesoftlaunch

Will deliver when available.

Product Details
  • Publication Date: 08 Oct 2010
  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Publication City/Country: Germany
  • Language: English
  • ISBN13: 9783642160738

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept