Publisher: Springer; 2006 edition (June 2, 2010)
Format: PDF / Kindle / ePub
Size: 7.4 MB
Downloadable formats: PDF
This e-book constitutes the refereed post-proceedings of the second one overseas Workshop on development and research of secure, safe, and Interoperable clever units, CASSIS 2005. The nine revised complete papers awarded have been rigorously chosen in the course of rounds of reviewing and development from approximately 30 workshop talks. The papers are prepared in topical sections on learn traits in shrewdpermanent units, net providers, digital desktop expertise, protection, validation and formal tools, proof-carrying code, and embedded units.