International Journal of Critical Computer-Based Systems (IJCCBS)

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-261Lightweight MAC-spoof detection exploiting received signal power and median filtering
Davide Papini
DOI: 10.1504/IJCCBS.2012.053204
262-283Structured intuition: a new methodology to analyse authentication protocols
Naveed Ahmed; Christian Damsgaard Jensen
DOI: 10.1504/IJCCBS.2012.053205
284-304High-level algorithms and data structures requirements for security-by-contract on Java cards
Nicola Dragoni; Olga Gadyatskaya; Fabio Massacci; Anton Philippov
DOI: 10.1504/IJCCBS.2012.053207
305-328Deriving a mode logic using failure modes and effects analysis
Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala
DOI: 10.1504/IJCCBS.2012.053206