these doctorat une architecture de securité

BIBLIOGRAPHIE
tel-00239252, version 1 - 5 Feb 2008
[15] T.A. Berson. Differential cryptanalysis mod 2 32 with applications to MD5. In R.A. Rueppel,
editor, Advances in Cryptology — Eurocrypt ’92, Berlin, 1992. Springer-Verlag.
[16] K. Biba. Integrity consideration for secure computer systems. Technical Report MTR-3153,
MITRE Corporation, 1975.
[17] E. Biham and A. Shamir. Differential cryptanalysis of DES-like cryptosystems. In A.J.
Menezes and S. A. Vanstone, editors, Proceedings of CRYPTO 90, pages 2–21. Springer-
Verlag, 1991. Lecture Notes in Computer Science No. 537.
[18] Bob Blakley. CORBA Security. Object Technology Series. Addison-Wesley, 1999.
[19] Jean-Pierre Briot and Rachid Guerraoui. Objets pour la programmation parallèle et répartie
: intérêts, évolutions et tendances. Technique et Science Informatiques (TSI), 15(6) :765–
800, June 1996.
[20] Eric Bruneton, Thierry Coupaye, and Jean-Bernard Stefani. Recursive and Dynamic Software
Composition with Sharing. In Proceedings of the Seventh International Workshop on
Component-Oriented Programming at ECOOP, Malaga, Spain, June 2002.
[21] M. Burnside, D. Clarke, T. Mills, A. Maywah, S. Devadas, and R. Rivest. Proxy-based Security
Protocols in Networked Mobile Devices. In Proceedings of the 2002 ACM symposium
on Applied computing, pages 265–272. ACM Press, 2002.
[22] Ning Chen. A case study of the ejb security : Combining declarative, role-based access
control with programmatic application-specific proxy security checks. In PDPTA ’02 : Proceedings
of the International Conference on Parallel and Distributed Processing Techniques
and Applications, pages 1344–1347. CSREA Press, 2002.
[23] David Chess, Colin Harrison, and Aaron Kershenbaum. Mobile agents : Are they a good
idea ? Technical Report RC 19887 (December 21, 1994 - Declassified March 16, 1995), IBM,
Yorktown Heights, New York, 1994.
[24] David Clark and David R. Wilson. A comparison of commercial and military computer
security policies. In Proc. IEEE Symposium on Security and Privacy, pages 184–194, 1987.
[25] E. Cohen and D. Jefferson. Protection in the hydra operating system. ACM SIGOPS,
9(5) :141–160, November 1975.
[26] System Security Study Committee. Computer at Risk : Safe Computing in the Information
Age. National Academy Press, 1991.
[27] H. de Meer, J-P Richter, A. Puliafito, and O. Tomarchio. Tunnel agents for enhanced internet
QoS. IEEE Concurrency, 6(2) :30–39, 1998.
[28] N. Demytko. A new elliptic curve based analogue of RSA. volume 765 of Lecture Notes in
Computer Science, pages 40–49. Springer-Verlag Inc., 1994.
[29] Robert H. Deng, Shailendra K. Bhonsle, Weiguo Wang, and Aurel A. Lazar. Integrating
security in CORBA based object architectures. In 1995 IEEE Symposium on Security and
Privacy, pages 50–61, Oakland, CA, USA, May 1995. IEEE Comput. Soc. Press.
[30] Alexandre di Costanzo. Modèle et infrastructure de programmation pair-à-pair. Master’s
thesis, Nice University France, 2004.
[31] T. Dierks and C. Allen. The TLS Protocol - Version 1.0 RFC 2246, 1999.
[32] Whitfield Diffie and Martin E. Hellman. New directions in cryptography. IEEE Transactions
on Information Theory, IT-22(6) :644–654, 1976.
[33] A. Diller. An Introduction to Formal Methods. John Wiley & Sons, 1994.
[34] Hans Dobbertin. Cryptanalysis of MD5 compress. Lecture Notes in Computer Science,
1039 :53–69, 1996. Fast Software Encryption Workshop.
[35] C. Ellison. SPKI Requirements, RFC 2692. Technical report, IETF, September 1999.
[36] Carl M. Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian M. Thomas, and Tatu
Ylonen. SPKI Certificate Theory, RFC 2693. Technical report, IETF, September 1999.
[37] P. Eronen, J. Lehtinen, J. Zitting, and P. Nikander. Extending jini with decentralized trust
management, 2000. 3rd IEEE Conference on Open Architectures and Network Programming
(OPENARCH 2000), pages 25–29.
4