International Journal of Critical Computer-Based Systems
2012 Vol.3 No.4
Special Issue on Dependability and Security in a Nordic Perspective – Part I
Guest Editors: Associate Professor Christian Damsgaard Jensen and Associate Professor Nicola Dragoni
Editorial |
Pages | Title and author(s) |
247-261 | Lightweight MAC-spoof detection exploiting received signal power and median filteringDavide Papini DOI: 10.1504/IJCCBS.2012.053204 |
262-283 | Structured intuition: a new methodology to analyse authentication protocolsNaveed Ahmed; Christian Damsgaard Jensen DOI: 10.1504/IJCCBS.2012.053205 |
284-304 | High-level algorithms and data structures requirements for security-by-contract on Java cardsNicola Dragoni; Olga Gadyatskaya; Fabio Massacci; Anton Philippov DOI: 10.1504/IJCCBS.2012.053207 |
305-328 | Deriving a mode logic using failure modes and effects analysisYuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala DOI: 10.1504/IJCCBS.2012.053206 |