Proceedings

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

Linköping Electronic Conference Proceedings 41 (2009)

Ladda ner proceedinghttp://www.ep.liu.se/ecp_home/index.en.aspx?issue=041
Visa mer +

Redaktör(er): Asplund; Mikael ; Nadjm-Tehrani; Simin ; Petre; Luigia

Publicerad: 2009-07-14

ISBN:

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

Antal sidor: 76

Innehåll

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