000 03646nam a22006855i 4500
001 978-3-540-30569-9
003 DE-He213
005 20240730192519.0
007 cr nn 008mamaa
008 100704s2005 gw | s |||| 0|eng d
020 _a9783540305699
_9978-3-540-30569-9
024 7 _a10.1007/b105030
_2doi
050 4 _aQA268
072 7 _aGPJ
_2bicssc
072 7 _aURY
_2bicssc
072 7 _aCOM083000
_2bisacsh
072 7 _aGPJ
_2thema
072 7 _aURY
_2thema
082 0 4 _a005.824
_223
245 1 0 _aConstruction and Analysis of Safe, Secure, and Interoperable Smart Devices
_h[electronic resource] :
_bInternational Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers /
_cedited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aIX, 258 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aSecurity and Cryptology,
_x2946-1863 ;
_v3362
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 _aCryptography.
_91973
650 0 _aData encryption (Computer science).
_99168
650 0 _aSoftware engineering.
_94138
650 0 _aComputers, Special purpose.
_946653
650 0 _aComputer programming.
_94169
650 0 _aCompilers (Computer programs).
_93350
650 0 _aOperating systems (Computers).
_95329
650 1 4 _aCryptology.
_931769
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aProgramming Techniques.
_9150246
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aOperating Systems.
_937074
700 1 _aBarthe, Gilles.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9150247
700 1 _aBurdy, Lilian.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9150248
700 1 _aHuisman, Marieke.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9150249
700 1 _aLanet, Jean-Louis.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9150250
700 1 _aMuntean, Traian.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9150251
710 2 _aSpringerLink (Online service)
_9150252
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540242871
776 0 8 _iPrinted edition:
_z9783540806707
830 0 _aSecurity and Cryptology,
_x2946-1863 ;
_v3362
_9150253
856 4 0 _uhttps://doi.org/10.1007/b105030
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c94291
_d94291