Publication year: 2008
: 978-3-540-87698-4
This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008.
: Computer Science, ATM, Controller Area Network (CAN), access control, certification, cognitive systems, complexity, complexity reduction, computer reliability, computer safety, computer security, correct systems behaviour, data integrity, dependability, dynamic systems, e-commerce, Computer Communication Networks, Software Engineering, Programming and Operating Systems, Coding and Information Theory, Systems and Data Security, Special Purpose and Application-Based Systems, Logics and Meanings of Programs