LEADER 03058nam  2200613 a 450 
001 9910483475903321
005 20200520144314.0
010   $a3-540-31483-0
024 7 $a10.1007/11580850
035   $a(CKB)1000000000232687
035   $a(SSID)ssj0000320520
035   $a(PQKBManifestationID)11244851
035   $a(PQKBTitleCode)TC0000320520
035   $a(PQKBWorkID)10248499
035   $a(PQKB)11474841
035   $a(DE-He213)978-3-540-31483-7
035   $a(MiAaPQ)EBC3066542
035   $a(PPN)123098513
035   $a(EXLCZ)991000000000232687
100   $a20051026d2005      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTrustworthy global computing $einternational symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers /$fRocco Nicola, Davide Sangiorgi (eds.)
205   $a1st ed. 2005.
210   $aBerlin ;$aNew York $cSpringer$dc2005
215   $a1 online resource (VIII, 371 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v3705
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-30007-4 
320   $aIncludes bibliographical references and index.
327   $aHarmony: The Art of Reconciliation -- A Theory of Noninterference for the ?-Calculus -- Typed Processes in Untyped Contexts -- Model?Based Testing of Cryptographic Protocols -- A General Name Binding Mechanism -- Types for Security in a Mobile World -- History-Based Access Control for Distributed Processes -- Programming Cryptographic Protocols -- A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange -- A Formal Semantics for Protocol Narrations -- web ? at Work -- Concurrency Among Strangers -- The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library -- A Practical Formal Model for Safety Analysis in Capability-Based Systems -- Mixin Modules for Dynamic Rebinding -- A Distributed Object-Oriented Language with Session Types -- Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies -- Automated Analysis of Infinite Scenarios -- Namespace Logic: A Logic for a Reflective Higher-Order Calculus -- Erratum.
410  0$aLecture notes in computer science ;$v3705.
517 3 $aTGC 2005
606   $aComputer security$vCongresses
606   $aComputer networks$xSecurity measures$vCongresses
606   $aComputer software$xValidation$vCongresses
606   $aComputer software$xVerification$vCongresses
615  0$aComputer security
615  0$aComputer networks$xSecurity measures
615  0$aComputer software$xValidation
615  0$aComputer software$xVerification
676   $a005.8
701   $aDe Nicola$b Rocco$0104115
701   $aSangiorgi$b Davide$01760061
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483475903321
996   $aTrustworthy global computing$94198839
997   $aUNINA