000 02861nam a22005655i 4500
001 978-3-642-28641-4
003 DE-He213
005 20160624102209.0
007 cr nn 008mamaa
008 120321s2012 gw | s |||| 0|eng d
020 _a9783642286414
_9978-3-642-28641-4
024 7 _a10.1007/978-3-642-28641-4
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM075000
_2bisacsh
082 0 4 _a004.6
_223
245 1 0 _aPrinciples of Security and Trust
_h[electronic resource] :
_bFirst International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings /
_cedited by Pierpaolo Degano, Joshua D. Guttman.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2012.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2012.
300 _aXIV, 431 p.
_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 ;
_v7215
520 _aThis book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 20 papers, presented together with the abstract of an invited talk and a joint-ETAPS paper, were selected from a total of 67 submissions. Topics covered by the papers include: foundations of security, authentication, confidentiality, privacy and anonymity, authorization and trust, network security, protocols for security, language-based security, and quantitative security properties.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aData protection.
650 0 _aData encryption (Computer science).
650 0 _aComputer software.
650 0 _aInformation Systems.
650 1 4 _aComputer Science.
650 2 4 _aComputer Communication Networks.
650 2 4 _aData Encryption.
650 2 4 _aSystems and Data Security.
650 2 4 _aComputers and Society.
650 2 4 _aManagement of Computing and Information Systems.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
700 1 _aDegano, Pierpaolo.
_eeditor.
700 1 _aGuttman, Joshua D.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642286407
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v7215
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-28641-4
942 _2EBK10147
_cEBK
999 _c39441
_d39441