
[Lecture Notes in Computer Science] Principles of Security and Trust Volume 9635 || Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study
Piessens, Frank, Viganò, LucaVolume:
10.1007/97
Année:
2016
Langue:
english
DOI:
10.1007/978-3-662-49635-0_6
Fichier:
PDF, 1.27 MB
english, 2016