Trustworthy global computing: international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers
(eBook)

Book Cover
Series:
Lecture notes in computer science ; volume 3705.
Published:
Berlin ; New York : Springer, ©2005.
Format:
eBook
ISBN:
9783540314837, 3540314830, 3540300074, 9783540300076
Content Description:
1 online resource (viii, 369 pages) : illustrations.
Status:
Available Online
Description
Description not provided
Copies
CCU Electronic Resources
Access Online 
More Like This
Citations
APA Citation (style guide)

De Nicola, R., & Sangiorgi, D. (2005). Trustworthy global computing: international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers. Berlin ; New York, Springer.

Chicago / Turabian - Author Date Citation (style guide)

De Nicola, Rocco and Davide. Sangiorgi. 2005. Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : Revised Selected Papers. Berlin ; New York, Springer.

Chicago / Turabian - Humanities Citation (style guide)

De Nicola, Rocco and Davide. Sangiorgi, Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : Revised Selected Papers. Berlin ; New York, Springer, 2005.

MLA Citation (style guide)

De Nicola, Rocco. and Davide Sangiorgi. Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : Revised Selected Papers. Berlin ; New York, Springer, 2005.

Note! Citation formats are based on standards as of July 2022. Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy.
More Copies In Prospector
Loading Prospector Copies...
More Details
Language:
English
UPC:
10.1007/11580850

Notes

Bibliography
Includes bibliographical references and index.
Restrictions on Access
University staff and students only. Requires University Computer Account login off-campus.
Staff View
Grouped Work ID:
bcd65360-927d-996e-03d2-82057307a3fa
Go To GroupedWork

Record Information

Last Sierra Extract TimeMar 20, 2024 05:41:20 PM
Last File Modification TimeMar 20, 2024 05:42:53 PM
Last Grouped Work Modification TimeMar 20, 2024 05:41:27 PM

MARC Record

LEADER07182cam a2201105 a 4500
001262681879
003OCoLC
00520240223121953.0
006m     o  d        
007cr cn|||||||||
008081017s2005    gw a    ob    101 0 eng d
010 |z 2005936337
019 |a 62731178|a 150395184|a 316262696|a 613486460|a 703152975|a 729898749|a 739126738|a 767167202|a 994809953|a 1035663764|a 1078842969|a 1105602170|a 1170445731|a 1170755666|a 1238247280|a 1389407778|a 1391805496|a 1403842186|a 1406324274|a 1413278582|a 1418771093
020 |a 9783540314837
020 |a 3540314830
020 |a 3540300074
020 |a 9783540300076
0247 |a 10.1007/11580850|2 doi
035 |a (OCoLC)262681879|z (OCoLC)62731178|z (OCoLC)150395184|z (OCoLC)316262696|z (OCoLC)613486460|z (OCoLC)703152975|z (OCoLC)729898749|z (OCoLC)739126738|z (OCoLC)767167202|z (OCoLC)994809953|z (OCoLC)1035663764|z (OCoLC)1078842969|z (OCoLC)1105602170|z (OCoLC)1170445731|z (OCoLC)1170755666|z (OCoLC)1238247280|z (OCoLC)1389407778|z (OCoLC)1391805496|z (OCoLC)1403842186|z (OCoLC)1406324274|z (OCoLC)1413278582|z (OCoLC)1418771093
037 |a 978-3-540-30007-6|b Springer|n http://www.springerlink.com
040 |a GW5XE|b eng|e pn|c GW5XE|d OCLCQ|d QCL|d OHX|d OKU|d BAKER|d LGG|d N$T|d OCLCQ|d MNU|d E7B|d YNG|d OCLCO|d OCLCQ|d NLGGC|d OCLCF|d BEDGE|d ITD|d OCLCO|d COO|d YDXCP|d IDEBK|d OCL|d OCLCO|d DEBSZ|d EBLCP|d OCLCQ|d OCLCO|d OTZ|d OCLCQ|d UAB|d ESU|d OCLCQ|d U3W|d OCLCA|d BUF|d STF|d OCLCQ|d AU@|d OCLCQ|d WYU|d ICG|d CANPU|d OL$|d OCLCQ|d AUD|d OCL|d OCLCQ|d EUX|d OCLCQ|d UKAHL|d OCLCO|d COM|d OCLCO|d OCLCQ|d BRX|d WSU|d OCLCL
049 |a COM6
050 4|a QA76.9.A25|b T46 2005
072 7|a COM|x 060040|2 bisacsh
072 7|a COM|x 043050|2 bisacsh
072 7|a COM|x 053000|2 bisacsh
08204|a 005.8|2 22
084 |a 54.32|2 bcl
084 |a 54.99|2 bcl
1112 |a TGC 2005|d (2005 :|c Edinburgh, Scotland)|0 https://id.loc.gov/authorities/names/nb2006002431
24510|a Trustworthy global computing :|b international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers /|c Rocco De Nicola, Davide Sangiorgi (eds.).
2463 |a TGC 2005
264 1|a Berlin ;|a New York :|b Springer,|c ©2005.
300 |a 1 online resource (viii, 369 pages) :|b illustrations.
336 |a text|b txt|2 rdacontent
337 |a computer|b c|2 rdamedia
338 |a online resource|b cr|2 rdacarrier
4901 |a Lecture notes in computer science ;|v 3705
504 |a Includes bibliographical references and index.
5050 |a Harmony: 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.
506 |a University staff and students only. Requires University Computer Account login off-campus.
5880 |a Print version record.
650 0|a Computer security|v Congresses.|0 https://id.loc.gov/authorities/subjects/sh2008101458
650 0|a Computer networks|x Security measures|v Congresses.|0 https://id.loc.gov/authorities/subjects/sh2008101490
650 0|a Computer software|x Validation|0 https://id.loc.gov/authorities/subjects/sh85029536|v Congresses.|0 https://id.loc.gov/authorities/subjects/sh99001533
650 0|a Computer software|x Verification|v Congresses.|0 https://id.loc.gov/authorities/subjects/sh2009121254
650 6|a Sécurité informatique|v Congrès.
650 6|a Logiciels|x Validation|v Congrès.
650 6|a Logiciels|x Vérification|v Congrès.
650 6|a Réseaux d'ordinateurs|x Sécurité|x Mesures|v Congrès.
650 7|a COMPUTERS|x Internet|x Security.|2 bisacsh
650 7|a COMPUTERS|x Networking|x Security.|2 bisacsh
650 7|a COMPUTERS|x Security|x General.|2 bisacsh
650 7|a Informatique.|2 eclas
650 7|a Computer networks|x Security measures.|2 fast|0 (OCoLC)fst00872341
650 7|a Computer security.|2 fast|0 (OCoLC)fst00872484
650 7|a Computer software|x Validation.|2 fast|0 (OCoLC)fst00872602
650 7|a Computer software|x Verification.|2 fast|0 (OCoLC)fst00872604
655 2|a Congress.|0 https://id.nlm.nih.gov/mesh/D016423
655 7|a Conference papers and proceedings.|2 fast|0 (OCoLC)fst01423772
655 7|a Conference papers and proceedings.|2 lcgft|0 https://id.loc.gov/authorities/genreForms/gf2014026068
655 7|a Actes de congrès.|2 rvmgf
7001 |a De Nicola, Rocco.|0 https://id.loc.gov/authorities/names/n2004001750
7001 |a Sangiorgi, Davide.|0 https://id.loc.gov/authorities/names/nb91389671
7102 |a SpringerLink (Online service)|0 https://id.loc.gov/authorities/names/no2005046756
7730 |t OhioLINK electronic book center|w (OCoLC)180989150
7730 |t SpringerLink|w (OCoLC)43927870
77608|i Print version:|a TGC 2005 (2005 : Edinburgh, Scotland).|t Trustworthy global computing.|d Berlin ; New York : Springer, ©2005|z 3540300074|z 9783540300076|w (DLC) 2005936337|w (OCoLC)63176061
830 0|a Lecture notes in computer science ;|0 https://id.loc.gov/authorities/names/n42015162|v 3705.
907 |a .b29637302
948 |a MARCIVE Overnight, in 2024.03
948 |a MARCIVE Comp, in 2022.12
948 |a MARCIVE Over, 07/2021
948 |a MARCIVE Comp, 2018.05
948 |a MARCIVE Comp, 2017.10
948 |a MARCIVE August, 2017
948 |a MARCIVE extract Aug 5, 2017
989 |1 .i71763880|d cceb|g j|m |h 0|x 0|t 0|i 0|j 188|k 120614|o -|w SpringerLink CCU Owned|u http://ezproxy.ccu.edu/login?url=http://dx.doi.org/10.1007/11580850
989 |1 .i150192642|d cueme|g -|m |h 0|x 0|t 0|i 0|j 200|k 240227|o -|w SpringerLink|u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/11580850
994 |a 92|b COM
995 |a Loaded with m2btab.ltiac in 2024.03
995 |a Loaded with m2btab.elec in 2024.02
995 |a Loaded with m2btab.ltiac in 2022.12
995 |a Loaded with m2btab.ltiac in 2021.07
995 |a Loaded with m2btab.elec in 2021.06
995 |a Loaded with m2btab.ltiac in 2018.06
995 |a Loaded with m2btab.ltiac in 2017.10
995 |a Loaded with m2btab.ltiac in 2017.08
995 |a Loaded with m2btab.elec in 2016
995 |a Loaded with m2btab.elec in 2016
995 |a OCLC offline update by CMU
998 |a (2)cue|a cc|a cu|b 240227|c m|d z |e -|f eng|g gw |h 0|i 3
998 |e -|f eng|a cue|a cc|a cu
999 |e z
999 |a cue