Paper published in a book (Scientific congresses, symposiums and conference proceedings)
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions
Rocchetto, Marco; Tippenhauer, Nils
2016In CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions
Peer reviewed
 

Files


Full Text
dolevyaoICFEM16.pdf
Author postprint (2.01 MB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Rocchetto, Marco ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Tippenhauer, Nils;  Singapore University of Technology and Design
External co-authors :
yes
Language :
English
Title :
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions
Publication date :
2016
Event name :
International Conference on Formal Engineering Methods (ICFEM)
Event date :
2016
Main work title :
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 25 April 2017

Statistics


Number of views
57 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
31
Scopus citations®
without self-citations
30
OpenCitations
 
20
WoS citations
 
25

Bibliography


Similar publications



Contact ORBilu