NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security; Linköping; Sweden; April 27; 2009

Linköping Electronic Conference Proceedings 41 (2009)

Download proceedings
Show more +

Editor(s): Asplund; Mikael ; Nadjm-Tehrani; Simin ; Petre; Luigia

Published: 2009-07-14


ISSN: 1650-3686 (print), 1650-3740 (online)

Number of pages: 76


1 Towards Dependable Placement of NoC Resources
Tsiopoulos; Leonidas

2 Reliability Assessment in Event-B Development
Tarasyuk; Anton ; Troubitsyna; Elena ; Laibinis; Linas

3 Contract-based design in controller development and its evaluation
Boström; Pontus ; Plaska; Marta ; Huova; Mikko ; Linjama; Matti ; Heikkilä; Mikko ; Sere; Kaisa ; Waldén; Marina

4 Risk Analysis of Privacy Protection in Social Networking Sites
Dahl; Heidi E. I. ; Soldal Lund; Mass ; Stølen; Ketil

5 An Authentication Framework for Nomadic Users
Ahmed; Naveed ; Damsgaard Jensen; Christian

6 Authenticating Mobile Users Using Untrusted Computers
Vapen; Anna

7 Efficiency Issues in a Switched LAN
Petre; Luigia ; Hassan; Muhammad Mustafa

8 Random Walk Gossip
Asplund; Mikael ; Nadjm-Tehrani; Simin

9 Modelling Fault Tolerance and Parallelism in Communicating Systems
Laibinis; Linas ; Troubitsyna; Elena ; Leppänen; Sari