TY  - BOOK
AU  - Serpanos,Dimitrios
AU  - Giladi,Ran
TI  - Security and embedded systems
SN  - 1586035800
PY  - 2006///
CY  - Amsterdam
PB  - IOS Press
KW  - Embedded computer systems
KW  - Security measures
KW  - Congresses
KW  - Computer security
N1  - Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005
ER  -