Skip to main content
alibris logo

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

by , ,

Write The First Customer Review
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005, Revised Selected Papers - Barthe, Gilles (Editor), and Gregoire, Benjamin (Editor), and Huisman, Marieke (Editor)
Browse related Subjects
+ Browse All Subjects

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices ...

loading
    • eBook Details
    eBook icon PDF eBook Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    This is a digital edition of this title.

    Rent eBook (5 Options)

    Buy eBook

    • Title: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices by Gilles Barthe; Âbenjamin Gregoire; Âmarieke Huisman
    • Publisher: Springer Nature
    • Print ISBN: 9783540336891, 3540336893
    • eText ISBN: 9783540336914
    • Edition: 2006 1st edition
    • Format: PDF eBook
    $16.50
    digital devices
    • This is a digital eBook
      Nothing will be shipped to you
    • Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices
    • Most eBooks are returnable within 14 days of purchase
    • Questions? See our eBook FAQ