F2B203A: Research Master's Degree in Computer Science (common-core)

Coordinator:  Antoine BEUGNARD   

Duration: 60h



Educational resource

Voir les sites cités ci-dessus.

Recommended reading


[1] Eric Cariou et Antoine Beugnard, Les Composants de Communication, dans Ingénierie des Composants : Principes et Fondements, chapitre 10, Vuibert, 2005, ISBN 2-7117-4836-7.
[2] Antoine Beugnard, Peut-on réaliser des composants avec un langage à objets ?, Langages et Modèles à Objets, LMO 2005, Hermes, 2005, pages 47 - 60.
[3] Antoine Beugnard, Jean-Marc Jézéquel, Noël Plouzeau et Damien Watkins, Making Component Contract Aware, IEEE Computer Special Issue on Components, 13(7), July, 1999.
[4] Benjamin C. Pierce, Types and Programming Languages, MIT Press, 2002, ISBN 0-262-16209-1.
[5] Luca Cardelli, Type Systems, The Computer Science and Engineering Handbook, CRC Press, 1997.
[6] Benjamin C. Pierce. Foundational Calculi for Programming Languages. In Allen B. Tucker, editor, Handbook of Computer Science and Engineering, chapter 139. CRC Press, 1996.
[7] Silvano Dal Zilio, Mobile Processes: a Commented Bibliography, MOVEP'2K -- 4th Summer school on Modelling and Verification of Parallel processes, LNCS 2067, Springer-Verlag, pages 206-222, 2001.


1. Andrew Glassner, "Ray tracing", Academic press, 1989
2. Alan Watt, "3D Computer Graphics", Addison-Wesley, 1999
3. Marc Levoy, "Display of Surfaces from Volume Data " , IEEE Computer Graphics and Applications, Vol. 8, No. 3, May, 1988, pp. 29-37.
4. Matt Pharr and Greg Humphreys. "Physically Based Renderin", Morgan Kaufmann, 2004.
5. Greg Ward, " Measuring and modeling anisotropic reflection", In Proceedings of SIGGRAPH '92, 1992.


1. Yves Deswarte et Ludovic Mé. La sécurité des réseaux et systèmes répartis. Hermes. Traité IC2. ISBN 2-7462-0770-2.

2. Computer Security: Art and Science. Matt Bishop. Addison Wesley Professional. ISBN 0-201-44099-7.

3. Applied Cryptography. Bruce Schneier. John Wiley & Sons.

4. Jajodia, P. Samarati, M Sapino et V. Subrahalnian.
Flexible Support for Multiple Access Control Policies.
ACM Transactions on Database Systems (TODS) vol.26 n°2, Number 2, June, 2001.

5. E. Bertino, B.Catania, E. Ferrari et P. Perlasca.
A Logical Framework for Reasoning About Access Control Models.
ACM Transactions on Information and System Security (TISSEC), vol.6 n°1, février 2003.

6. Abou El Kalam, R. El Baida, P. Balbiani, S. Benferhat, F. Cuppens, Y. Deswarte, A. Miège, C. Saurel and G. Trouessin.
Organization Based Access Control. IEEE 4th International Workshop on Policies for Distributed Systems and Networks (Policy 2003), Lake Come, Italy, Juin 4-6, 2003.

  Year 2006/2007
Last update: 21-JUN-06
Last validation:

IMT Atlantique
Campus de Brest
Technopôle Brest-Iroise
CS 83818
29238 Brest Cedex 3

Tél  +33 (0)2 29 00 11 11
Fax +33 (0)2 29 00 10 00