M. Burrows, M. Abadi, and R. Needham, A logic of authentication, Symposium on Operating Systems Principles (SOSP 12), pp.1-13, 1989.

M. Burrows, M. Abadi, and R. Needham, A logic of authentication, ACM Transactions on Computer Systems, vol.8, issue.1, pp.18-37, 1990.
DOI : 10.1145/77648.77649

. Eurosys, EuroSys, european professional society in Computer Systems. European chapter of ACM Sigops

. Eurosys, . Senior, and . Lisboa, Promoting excellence in European Systems research, 2005.

J. Hayes, The Complete Problem Solver, 1989.

T. Institut-für and . Informatik, MARS, Real-Time Systems Group

. Laboratoire-d-'informatique-fondamentale-de-lille, Camille NG, an exokernel for small devices

B. Meyer and W. Zwaenepoel, European computer science takes its fate in its own hands, Communications of the ACM, 2006.

C. Microsoft-research, Pastry, a substrate for peer-to-peer applications

Y. Padioleau and O. Ridoux, A logic file system, USENIX Annual Tech. Conf, pp.99-112, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00071929