A logic of authentication, Symposium on Operating Systems Principles (SOSP 12), pp.1-13, 1989. ,
A logic of authentication, ACM Transactions on Computer Systems, vol.8, issue.1, pp.18-37, 1990. ,
DOI : 10.1145/77648.77649
EuroSys, european professional society in Computer Systems. European chapter of ACM Sigops ,
Promoting excellence in European Systems research, 2005. ,
The Complete Problem Solver, 1989. ,
MARS, Real-Time Systems Group ,
Camille NG, an exokernel for small devices ,
European computer science takes its fate in its own hands, Communications of the ACM, 2006. ,
Pastry, a substrate for peer-to-peer applications ,
A logic file system, USENIX Annual Tech. Conf, pp.99-112, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00071929