000 03912nam a22005175i 4500
001 u375213
003 SIRSI
005 20160812084313.0
007 cr nn 008mamaa
008 101005s2010 gw | s |||| 0|eng d
020 _a9783642160745
_9978-3-642-16074-5
040 _cMX-MeUAM
050 4 _aQA76.9.A25
082 0 4 _a005.82
_223
100 1 _aArmando, Alessandro.
_eeditor.
245 1 0 _aAutomated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
_h[recurso electrónico] :
_bJoint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers /
_cedited by Alessandro Armando, Gavin Lowe.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aIX, 185p. 39 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6186
520 _aThisvolumecontainstheworkshopproceedingsofARSPA-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 Università di Genova, Italy (Co-chair) Gavin Lowe Oxford University, UK (Co-chair) Program Committee Lujo Bauer CMU, USA Yannick Chevalier Université Toulouse III, France Luca Compagna SAP Research, France Cas Cremers ETHZ, Switzerland Jorge Cuellar Siemens, Germany Pierpaolo Degano Università di Pisa, Italy Sandro Etalle Technical University of Eindhoven and University of Twente, The Netherlands Riccardo Focardi Università di Venezia, Italy Dieter Gollman Technische Universität Hamburg-Harburg, Germany Joshua Guttman MITRE, USA Jan Jürjens TU Dortmund and Fraunhofer ISST, Germany Gavin Lowe Oxford University, UK (Co-chair) Catherine Meadows Naval Research Laboratory, USA John Mitchell Stanford University, USA
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aSoftware engineering.
650 0 _aData encryption (Computer science).
650 0 _aComputer software.
650 1 4 _aComputer Science.
650 2 4 _aData Encryption.
650 2 4 _aComputer Communication Networks.
650 2 4 _aComputers and Society.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
700 1 _aLowe, Gavin.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642160738
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6186
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-16074-5
596 _a19
942 _cLIBRO_ELEC
999 _c203093
_d203093