LEADER 05411nam 22008415 450 001 9910484649303321 005 20251226200024.0 010 $a3-540-30569-6 024 7 $a10.1007/b105030 035 $a(CKB)1000000000212681 035 $a(SSID)ssj0000129326 035 $a(PQKBManifestationID)11131663 035 $a(PQKBTitleCode)TC0000129326 035 $a(PQKBWorkID)10078505 035 $a(PQKB)11055436 035 $a(DE-He213)978-3-540-30569-9 035 $a(MiAaPQ)EBC3068290 035 $a(PPN)123091020 035 $a(BIP)11413572 035 $a(EXLCZ)991000000000212681 100 $a20100704d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aConstruction and Analysis of Safe, Secure, and Interoperable Smart Devices $eInternational Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers /$fedited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (IX, 258 p.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v3362 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-24287-2 320 $aIncludes bibliographical references and index. 327 $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. 330 $aThis volume contains a selection of refereed papers from participants of the workshop "Construction and Analysis of Safe, Secure and Interoperable Smart Devices" (CASSIS), held from the 10th to the 13th March 2004 in Marseille, France: http://www-sop.inria.fr/everest/events/cassis04/ The workshop was organized by INRIA (Institut National de Recherche en InformatiqueetenAutomatique),Franceandthe UniversitydelaM´ editerran´ ee, Marseille, France. The workshop was attended by nearly 100 participants, who were invited for their contributions to relevant areas of computer science. Theaimoftheworkshopwastobringtogetherexpertsfromthesmartdevices industry and academic researchers, with a view to stimulate research on formal methods and security, and to encourage the smart device industry to adopt innovative solutions drawn from academic research. The next generation of smart devices holds the promise of providing the required infrastructure for the secure provision of multiple and personalized services. In order to deliver their promise, the smart device technology must however pursue the radical evolution that was initiated with the adoption of multi-application smartcards. Typical needs include: - The possibility for smart devices to feature extensible computational infr- tructures that may be enhanced to support increasingly complex appli- tions that may be installed post-issuance, and may require operating system functionalities that were not pre-installed. Such additional ?exibility must however not compromise security. - The possibility for smart devices to achieve a better integration with larger computersystems,throughimprovedconnectivity,genericity,aswellasint- operability. 410 0$aSecurity and Cryptology,$x2946-1863 ;$v3362 606 $aCryptography 606 $aData encryption (Computer science) 606 $aSoftware engineering 606 $aComputers, Special purpose 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aOperating systems (Computers) 606 $aCryptology 606 $aSoftware Engineering 606 $aSpecial Purpose and Application-Based Systems 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aOperating Systems 615 0$aCryptography. 615 0$aData encryption (Computer science). 615 0$aSoftware engineering. 615 0$aComputers, Special purpose. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aOperating systems (Computers). 615 14$aCryptology. 615 24$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aOperating Systems. 676 $a332.1/78 701 $aBarthe$b Gilles$f1967-$0180568 712 12$aCASSIS (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484649303321 996 $aConstruction and analysis of safe, secure, and interoperable smart devices$94186448 997 $aUNINA