MARC record from Internet Archive

LEADER: 05413cam 2200901Ia 4500
001 ocn262677871
003 OCoLC
005 20200626082427.0
008 081017s2005 gw a ob 101 0 eng d
006 m o d
007 cr cn|||||||||
040 $aGW5XE$beng$epn$cGW5XE$dHNK$dOHX$dBAKER$dWAU$dCOO$dOCLCQ$dYNG$dCSU$dE7B$dOCLCO$dOCLCQ$dOCLCF$dBEDGE$dOCLCQ$dYDXCP$dOCLCQ$dOCL$dOCLCQ$dEBLCP$dVT2$dOCLCA$dBUF$dSTF$dUAB$dOCLCQ$dTFW$dQE2$dAU@$dOCLCQ$dWYU$dICG$dOCLCQ
016 7 $a973175117$2DE-101
019 $a57579821$a644365338$a767168484$a785779691$a964929321$a1005743853$a1035664165$a1053973877
020 $a9783540305699
020 $a3540305696
020 $a3540242872
020 $a9783540242871
024 4 $a9783540242871
035 $a(OCoLC)262677871$z(OCoLC)57579821$z(OCoLC)644365338$z(OCoLC)767168484$z(OCoLC)785779691$z(OCoLC)964929321$z(OCoLC)1005743853$z(OCoLC)1035664165$z(OCoLC)1053973877
037 $a978-3-540-24287-1$bSpringer$nhttp://www.springerlink.com
050 4 $aTK7895.S62$bC377 2004eb
055 3 $aQA75$b.L38 no.3362
072 7 $aQ$2lcco
082 04 $a332.1/78$222
111 2 $aCASSIS (Conference)
245 10 $aConstruction and analysis of safe, secure, and interoperable smart devices :$binternational workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers /$cGilles Barthe [and others] (eds.).
246 30 $aCASSIS 2004
260 $aBerlin ;$aNew York :$bSpringer,$c©2005.
300 $a1 online resource (vi, 256 pages) :$billustrations
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
490 1 $aLecture notes in computer science,$x0302-9743 ;$v3362
490 1 $aHot topics
504 $aIncludes bibliographical references and index.
588 0 $aPrint version record.
505 0 $aMobile Resource Guarantees for Smart Devices -- History-Based Access Control and Secure Information Flow -- The Spec# Programming System: An Overview -- Mastering Test Generation from Smart Card Software Formal Models -- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices -- ESC/Java2: Uniting ESC/Java and JML -- A Type System for Checking Applet Isolation in Java Card -- Verification of Safety Properties in the Presence of Transactions -- Modelling Mobility Aspects of Security Policies -- Smart Devices for Next Generation Mobile Services -- A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking -- Combining Several Paradigms for Circuit Validation and Verification -- Smart Card Research Perspectives.
650 0 $aSmart cards$xSecurity measures$vCongresses.
650 0 $aData transmission systems$xSecurity measures$vCongresses.
650 6 $aCartes à mémoire$xSécurité$xMesures$vCongrès.
650 6 $aTéléinformatique$xSécurité$xMesures$vCongrès.
650 7 $aInformatique.$2eclas
650 7 $aData transmission systems$xSecurity measures.$2fast$0(OCoLC)fst00888018
650 7 $aSmart cards$xSecurity measures.$2fast$0(OCoLC)fst01121550
650 7 $aCarte à mémoire.$2rasuqam
650 7 $aSécurité informatique.$2rasuqam
650 7 $aSystème intelligent.$2rasuqam
650 7 $aTéléinformatique.$2rasuqam
655 4 $aElectronic books.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aBarthe, Gilles,$d1967-
776 08 $iPrint version:$aCASSIS (Conference).$tConstruction and analysis of safe, secure, and interoperable smart devices.$dBerlin ; New York : Springer, ©2005$z3540242872$z9783540242871$w(DLC) 2004117384$w(OCoLC)57612881
830 0 $aLecture notes in computer science ;$v3362.$x0302-9743
830 0 $aHot topics (Berlin, Germany)
856 40 $3ProQuest Ebook Central$uhttp://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=3068290
856 40 $3ebrary$uhttp://site.ebrary.com/id/10531246
856 40 $3OhioLINK$uhttp://rave.ohiolink.edu/ebooks/ebc/11741060
856 40 $3ProQuest Ebook Central$uhttp://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=3068290
856 40 $3SpringerLink$uhttps://doi.org/10.1007/b105030
856 40 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3362
856 40 $3SpringerLink$uhttp://link.springer.com/openurl?genre=book&isbn=978-3-540-24287-1
856 40 $3SpringerLink$uhttps://link.springer.com/openurl?genre=book&isbn=978-3-540-24287-1
856 40 $3SpringerLink$uhttps://link.springer.com/book/10.1007/b105030
856 40 $3SpringerLink$uhttp://link.springer.com/10.1007/b105030
856 40 $uhttp://link.springer-ny.com/link/service/series/0558/tocs/t3362.htm
856 41 $uhttp://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3362$zRestricted to Springer LINK subscribers
938 $aBaker & Taylor$bBKTY$c58.00$d58.00$i3540242872$n0006308082$sactive
938 $aProQuest Ebook Central$bEBLB$nEBL3068290
938 $aebrary$bEBRY$nebr10531246
938 $aOtto Harrassowitz$bHARR$nhar050000818
938 $aYBP Library Services$bYANK$n2381241
029 1 $aAU@$b000040676967
029 1 $aAU@$b000051320564
029 1 $aAU@$b000058158348
029 1 $aHEBIS$b192056727
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 385 OTHER HOLDINGS