反馈文件质量
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
英语 [en] · PDF · 4.2MB · 2005 · 📘 非小说类图书 · 🚀/duxiu/lgli/lgrs/nexusstc/scihub/zlib · Save
描述
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.
备用文件名
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
备用文件名
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
备用文件名
scihub/10.1007/b105030.pdf
备用文件名
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
备选标题
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))
备选标题
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)
备选标题
Lecture Notes in Computer Science 3362 Construction and Analysis of Safe,Secure,and Interoperable Smart Devices International Workshop,CASSIS 2004
备选作者
Gilles Barthe ; Lilian Burdy ; Marieke Huisman,Springer
备选作者
CASSIS 2004 (2004 Marseille, France)
备选作者
Gilles Barthe ... [et al.] (eds.)
备选作者
CASSIS (Conference)
备用出版商
Springer Spektrum. in Springer-Verlag GmbH
备用出版商
Steinkopff. in Springer-Verlag GmbH
备用出版商
Springer London, Limited
备用版本
Lecture notes in computer science,, 3362, Hot topics, Hot topics (Berlin, Germany), Berlin, New York, Germany, 2005
备用版本
Springer Nature, Berlin, 2005
备用版本
1 edition, March 14, 2005
备用版本
2004
元数据中的注释
Kolxo3
元数据中的注释
lg1133448
元数据中的注释
{"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"}
元数据中的注释
类型: 图书
元数据中的注释
出版日期: 2005
元数据中的注释
出版社: Springer-Verlag
元数据中的注释
页码: 257
元数据中的注释
开本: 396.48
元数据中的注释
Includes bibliographical references and index.
Also issued online.
备用描述
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.
备用描述
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 -
备用描述
Keine Beschreibung vorhanden.
Erscheinungsdatum: 21.01.2005
开源日期
2010-02-04
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：Motrix
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。