反馈文件质量
zlib/no-category/CASSIS (Conference), Barthe, Gilles, 1967-/Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers_122813956.pdf
Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers 🔍
CASSIS (Conference), Barthe, Gilles, 1967- Berlin ; New York : Springer, Springer Nature, Berlin, 2005
英语 [en] · PDF · 11.9MB · 2005 · 📗 未知类型的图书 · 🚀/duxiu/ia/zlib · Save
描述
1 online resource (vi, 256 pages) :, Includes bibliographical references and index, Print version record, Mobile 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
备用文件名
ia/constructionanal0000cass_h9a2.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; Jean-Louis Lanet; Traian Muntean
备选作者
Gilles Barthe ; Lilian Burdy ; Marieke Huisman,Springer
备选作者
CASSIS 2004 (2004 Marseille, France)
备选作者
Gilles Barthe ... [et al.] (eds.)
备用出版商
Springer Spektrum. in Springer-Verlag GmbH
备用出版商
Steinkopff. in Springer-Verlag GmbH
备用出版商
Springer London, Limited
备用出版商
Springer Berlin
备用版本
Lecture notes in computer science,, 3362, Hot topics, Hot topics (Berlin, Germany), Berlin, New York, Germany, 2005
备用版本
1 edition, March 14, 2005
备用版本
2004
元数据中的注释
类型: 图书
元数据中的注释
出版日期: 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.
备用描述
Keine Beschreibung vorhanden.
Erscheinungsdatum: 21.01.2005
开源日期
2023-06-28
更多信息……

🚀 快速下载

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

🐢 低速下载

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

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