
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
| 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 |