Report file quality
lgli/Cs_Computer science/CsLn_Lecture notes/C/Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004(LNCS3362, Springer, 2005)(ISBN 3540242872)(266s)_CsLn_.pdf
Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers 🔍
David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.) Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, Lecture Notes in Computer Science 3362 Security and Cryptology, 1, 2005
English [en] · PDF · 4.2MB · 2005 · 📘 Book (non-fiction) · 🚀/duxiu/lgli/lgrs/nexusstc/scihub/zlib · Save
description
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004, held in Marseille, France in March 2004.
The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are devoted to trends in smart card research, operating systems and virtual machine technologies, secure platforms, security, application validation, verification, and formal modeling and formal methods.
Alternative filename
lgrsnf/Cs_Computer science/CsLn_Lecture notes/C/Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004(LNCS3362, Springer, 2005)(ISBN 3540242872)(266s)_CsLn_.pdf
Alternative filename
nexusstc/Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers/de35b5e9de39afe46dca33e92e18bae1.pdf
Alternative filename
scihub/10.1007/b105030.pdf
Alternative filename
zlib/Computers/Computer Science/David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)/Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers_613153.pdf
Alternative title
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... (Lecture Notes in Computer Science (3362))
Alternative title
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... Papers (Lecture Notes in Computer Science)
Alternative title
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe,Secure,and Interoperable Smart Devices International Workshop,CASSIS 2004
Alternative author
Gilles Barthe ; Lilian Burdy ; Marieke Huisman,Springer
Alternative author
CASSIS 2004 (2004 Marseille, France)
Alternative author
Gilles Barthe ... [et al.] (eds.)
Alternative author
CASSIS (Conference)
Alternative publisher
Springer Spektrum. in Springer-Verlag GmbH
Alternative publisher
Steinkopff. in Springer-Verlag GmbH
Alternative publisher
Springer London, Limited
Alternative edition
Lecture notes in computer science,, 3362, Hot topics, Hot topics (Berlin, Germany), Berlin, New York, Germany, 2005
Alternative edition
Springer Nature, Berlin, 2005
Alternative edition
1 edition, March 14, 2005
Alternative edition
2004
metadata comments
Kolxo3
metadata comments
lg1133448
metadata comments
{"container_title":"Lecture Notes in Computer Science","edition":"1","isbns":["3540242872","3540305696","9783540242871","9783540305699"],"issns":["0302-9743","1611-3349"],"last_page":258,"publisher":"Springer","series":"Lecture Notes in Computer Science 3362 Security and Cryptology"}
metadata comments
类型: 图书
metadata comments
出版日期: 2005
metadata comments
出版社: Springer-Verlag
metadata comments
页码: 257
metadata comments
开本: 396.48
metadata comments
Includes bibliographical references and index.
Also issued online.
Alternative description
Mobile Resource Guarantees For Smart Devices / David Aspinall [and Others] -- History Based Access Control And Secure Information Flow / Anindya Banerjee And David A. Naumann -- The Spec# Programming System / Mike Barnett, K. Rustan M. Leino, And Wolfram Schulte -- Mastering Test Generation From Smart Card Software Formal Models / Fabrice Bouquet [and Others] -- A Mechanism For Secure, Fine-grained Dynamic Provisioning Of Applications On Small Devices / William R. Bush [and Others] -- Esc/java2 / David R. Cok And Joseph R. Kiniry -- A Type System For Checking Applet Isolation In Java Card / Werner Dietl, Peter Muller, And Arnd Poetzsch-heffter -- Verification Of Safety Properties In The Presence Of Transactions / Reiner Hahnle And Wojciech Mostowski -- Modelling Mobility Aspects Of Security Policies / Pieter Hartel [and Others] -- Smart Devices For Next Generation Mobile Services / Chie Noda And Thomas Walter -- A Flexible Framework For The Estimation Of Coverage Metrics In Explicit State Software Model Checking / Edwin Rodriguez [and Others] -- Combining Several Paradigms For Circuit Validation And Verification / Diana Toma, Dominique Borrione, And Ghiath Al Sammane -- Smart Card Research Perspectives / Jean-jacques Vandewalle. Gilles Barthe ... [et Al.] (eds.). Includes Bibliographical References And Index. Also Issued Online.
Alternative description
Front Matter....Pages -
Mobile Resource Guarantees for Smart Devices....Pages 1-26
History-Based Access Control and Secure Information Flow....Pages 27-48
The Spec# Programming System: An Overview....Pages 49-69
Mastering Test Generation from Smart Card Software Formal Models....Pages 70-85
A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices....Pages 86-107
ESC/Java2: Uniting ESC/Java and JML....Pages 108-128
A Type System for Checking Applet Isolation in Java Card....Pages 129-150
Verification of Safety Properties in the Presence of Transactions....Pages 151-171
Modelling Mobility Aspects of Security Policies....Pages 172-191
Smart Devices for Next Generation Mobile Services....Pages 192-209
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking....Pages 210-228
Combining Several Paradigms for Circuit Validation and Verification....Pages 229-249
Smart Card Research Perspectives....Pages 250-256
Back Matter....Pages -
Alternative description
Keine Beschreibung vorhanden.
Erscheinungsdatum: 21.01.2005
date open sourced
2010-02-04
Read more…

🚀 Fast downloads

Become a member to support the long-term preservation of books, papers, and more. To show our gratitude for your support, you get fast downloads. ❤️

🐢 Slow downloads

From trusted partners. More information in the FAQ. (might require browser verification — unlimited downloads!)

All download options have the same file, and should be safe to use. That said, always be cautious when downloading files from the internet, especially from sites external to Anna’s Archive. For example, be sure to keep your devices updated.
show external downloads
  • For large files, we recommend using a download manager to prevent interruptions.
    Recommended download managers: Motrix
  • You will need an ebook or PDF reader to open the file, depending on the file format.
    Recommended ebook readers: Anna’s Archive online viewer, ReadEra, and Calibre
  • Use online tools to convert between formats.
    Recommended conversion tools: CloudConvert and PrintFriendly
  • You can send both PDF and EPUB files to your Kindle or Kobo eReader.
    Recommended tools: Amazon‘s “Send to Kindle” and djazz‘s “Send to Kobo/Kindle”
  • Support authors and libraries
    ✍️ If you like this and can afford it, consider buying the original, or supporting the authors directly.
    📚 If this is available at your local library, consider borrowing it for free there.