Formal verification of the mERA-based eServices with trusted third party protocol, presented at IFIP International Information Security and Privacy Conference 2012

by M. Christofi, A. Gouget,

Summary : N/A