Miguel E. Andrés 1, 2 AuthorId : 1123759 Author
Geoffrey Smith 3 AuthorId : 458088 Author
Catuscia Palamidessi 1, 2, 4 AuthorId : 238416 Author
Computer Science [cs] / Logic in Computer Science [cs.LO] Computer Science [cs] / Cryptography and Security [cs.CR]
CNRS | X | LIX | INRIA | X-LIX | X-DEP-INFO