Design and formal security evaluation of
✍
Toledo, Nerea; Higuero, Marivi; Astorga, Jasone; Aguado, Marina; Bonnin, Jean Ma
📂
Article
📅
2013
🏛
Elsevier Science
🌐
English
⚖ 860 KB