Publications

International journal papers
  • Alban Gabillon and Laurent Gallon – Availability of ARINC 629 Avionic Data Bus – JOURNAL OF NETWORKS (JNW) – ISSN : 1796-2056 – Volume : 1 Issue : 6 Date : November/December 2006
National (french) journal papers
  • T. Duron, L. Gallon, C. Petitcollin, F. Carrincazeaux, B. Meynot, J. Lajus, S. Gouleau – Robotique pédagogique et persévérance scolaire – revue Technologie, n° 213, Réseaux Canopée, mai-juin 2018
  • Gallon, L. & Dubergey, F. & Negui M. – Robot de téléprésence : un outil numérique utilisé par le SAPAD pour rendre présent l’élève absent – La nouvelle revue de l’adaptation et de la scolarisation (NRAS), n°79, novembre 2017
  • P. Borgnat, P. Abry, G. Dewaele, A. Scherrer, N. Larrieu, P. Owezarski, Y. Labit, L. Gallon, J. Aussibal – Une caractérisation non gaussienne et à longue mémoire du trafic Internet et de ses anomalies : validation expérimentale et application à la détection d’attaque de DDoS – Annals of Telecommunications. vol 62. Issue 11/12. page 1401. nov/dec 2007.
International conferences
  • Vanea CHIPRIANOV and Laurent GALLON – Introducing Computational Thinking to K-5 in a French Context – 21st Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2016), 11-13 July, Arequipa, Peru, 2016, pp. 112-117
  • Vanea Chiprianov and Laurent Gallon and Khouloud Salameh and Manuel Munier and Jamal El Hachem – Towards Security Software Engineering the Smart Grid as a System of Systems – SoSE 2015 : 10th Annual System of Systems Engineering Conference, May 17-20 2015, San Antonio, USA
  • Denisse Munante, Vanea Chiprianov, Laurent Gallon, Philippe Aniorte – A model-driven security requirements approach ot deduce security policies based on OrBAC – INSCRYPT 2014 : The 10th International Conference on Information Security and Cryptology, December 13 – 15, 2014, Beijing, China
  • Nicolas Belloir, Vanea Chiprianov, Manzoor Ahmad, Manuel Munier, Laurent Gallon and Jean-Michel Bruel – Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems – 2nd International Workshop on Software Engineering for Systems-of-Systems, Vienna, Austria, 26th August, 2014
  • Denisse Munante, Vanea Chiprianov, Laurent Gallon, Philippe Aniorte – A review of Security Requirements Engineering methods with respect to Risk Analysis and Model-Driven Engineering – CD-ARES 2014, International Cross Domain Conference and Workshop, University of Fribourg, Switzerland, September 8th – 12th, 2014
  • Vanea Chiprianov, Katrina Falkner, Laurent Gallon, Manuel Munier – Towards Modelling and Analysing Non-functional Properties of Systems of Systems – IEEE 9th international system of systems engineering conference – june 9th-13th 2014 – Stamford Grand, Adelaïde, Australia.
  • Denisse Muñante Arzapalo, Laurent Gallon, Philippe Aniorté – An approach based on Model-driven Engineering to define Security Policies using the access control model OrBAC-The Eight International Workshop on Frontiers in Availability, Reliability and Security (FARES 2013). In conjonction with the 8th ARES Conference (ARES 2013) -2-6 sept 2013 – University of Regensburg, Germany
  • L. Gallon and JJ. Bascou – CVSS attack graphs – The7th International Conference on Signal Image Tehcnology & Internet Based Systems (SITIS 2011) – November 28th – December 1st, 2011 – Dijon, France.
  • L. Gallon and JJ. Bascou – Using CVSS in attack graphs -The Sixth International Conference on Availability, Reliability and Security (ARES 2011) – August 22nd – 26th, 2011 – Vienna, Austria.
  • L. Gallon – Vulnerabilities segregation using CVSS framework – 4th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2011) – Security track – February, 7th-10th 2011 – Paris, France – DOI : 10.1109/NTMS.2011.5720656
  • L. Gallon – On the impact of environmental metrics on CVSS scores – 2010 IEEE International Conference on PrivAcy, Security, riSk And Trust (PASSAT10) : Symposium on Secure Computing (SecureCom-10) – August, 20th-22th 2010 – Minneapolis, Minnesota, USA – DOI : 10.1109/SocialCom.2010.146 – ISBN : 978-1-4244-8439-3
  • J. Aussibal and L. Gallon. A new distributed IDS based on CVSS framework. Fourth International Conference on signal_image technology and Internet based systems (SITIS 2008), Bali, Indonesia, Nov/Dec 2008 – DOI : 10.1109/SITIS.2008.115 – ISBN : 978-0-7695-3493-0
  • A. Gabillon and L. Gallon. Availability constraints for avionic data buses. First International Conference on Availability, Reliability and Security ARES 2006. Vienna, Austria. April 2006 – DOI : 10.1109/ARES.2006.35 – ISBN : 0-7695-2567-9
  • A. Gabillon and L. Gallon. An availability model for avionic data buses. First International Workshop on Issues in Security and Petri Nets WISP 2003. Eindhoven, The Netherlands. June 2003
  • A. Gabillon, M. Munier, JJ. Bascou, L. Gallon, E. Bruno. An Access Control Model for Tree Data Structure. Infomation Security Conference. Sao Paulo, Brasil. October 2002
  • G. Juanole and L. Gallon. Concept of quantified abstract quotient automaton and its advantage. IFIP International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV’97), Osaka (Japon), 18-21 Novembre 1997.
  • L. Gallon, I. Blum and G. Juanole. Modelling and analysis of the ARINC specification 629 CP MAC layer protocol. 2nd IEEE International Workshop on Factory Communication Systems (WFCS’97), Barcelone (Espagne), 1-3 Octobre 1997, pp.91-100
  • G. Juanole and L. Gallon. Critical Time Distributed Systems : qualitative and quantitative analysis based on Stochastic Timed Petri Nets. 8th International IFIP Conference on formal Description Techniques for Distributed Systems and Communications Protocols (FORTE/PSTV’95), Montréal (Canada), 17-20 Octobre 1995, pp.349-364
  • G. Juanole and L. Gallon. Formal modeling and analysis of a critical time communication protocol. 1st IEEE Workshop on Factory Communication Systems (WFCS’95), Lausanne (Suisse), 4-6 Octobre 1995, pp.107-115
National (french) conferences
  • Laurent Gallon – Immersion dans un TP en téléprésence – 3ème Workshop pédagogique Réseaux & Télécoms, Saint Pierre, La Réunion, France, 17 au 21 novembre 2014
  • Vanea Chiprianov, Laurent Gallon, Manuel Munier, Philippe Aniorte and Vincent Lalanne – The Systems-of-Systems Challenge in Security Engineering – Journées Nationales 2014 du GDR Génie de la Programmation et du Logiciel (GPL’2014), pages 163-166, Paris, France, 10-13 juin 2014
  • Vanea Chiprianov, Laurent Gallon, Manuel Munier, Philippe Aniorte and Vincent Lalanne – Challenges in Security Engineering of Systems-of-Systems-CIEL 2014 : 3ème Conférence en IngénieriE du Logiciel. -10-12 juin 2014 – Paris, France
  • Denisse Muñante Arzapalo, Laurent Gallon, Philippe Aniorté – MoDELO: a MOdel-Driven sEcurity poLicy approach based on Orbac – 8ème conférence sur la Sécurité des Architectures Réseaux et des Systèmes d’Information (SARSSI 2013) – 16-18 sept 2013 – Mont de Marsan, France.
  • L. Gallon et JJ. Bascou – CVSS attack graphs -7ème Conférence sur la Sécurité des Architectures Réseaux et Systèmes d’Information (SARSSI 2012) – May 22th – 25th – Cabourg, France
  • S. Rahmé, L. Gallon, Y. Labit, F. Gouaisbaut – Détection de Dénis de Service (DdS) dans une architecture TCP par un observateur glissant – Conférence Internationale Francophone d’Automatique (CIFA 2012) – July 4th – 6th – Grenoble, France
  • L. Gallon. Simulation d’un provider ToIP basé sur Asterisk. Colloque “Les 2èmes cahiers pédagogiques des R&T”. 15-19 novembre 2010. Kourou, Guyane Française. ISSN : 2110-0330
  • P. Charrin, A. Abénia, L. Gallon. Une plateforme pédagogique pour illustrer les différentes architectures de ToIP. Colloque “Les 2èmes cahiers pédagogiques des R&T”. 15-19 novembre 2010. Kourou, Guyane Française. ISSN : 2110-0330
  • A. Abénia, P. Charrin, L. Gallon. Simulation d’un réseau téléphonique commuté basé sur Asterisk. Colloque “Les 2èmes cahiers pédagogiques des R&T”. 15-19 novembre 2010. Kourou, Guyane Française. ISSN : 2110-0330
  • A. Abénia, L. Gallon. Interconnexion de systèmes ToIP hétérogènes. 1Er Workshop pédagogique Réseaux et Télécoms. 12-16 novembre 2007. Saint Pierre la Réunion, La Réunion. ISSN : 2110-0330
  • J. Aussibal, P. Borgnat, Y. Labit, G. Dewaele, N. Larrieu, L. Gallon, P. Owezarski, P. Abry, K. Boudaoud. Base de traces d’anomalies légitimes et illégitimes. 2nd Conference on Security in Network Architectures and Information Systems SAR-SSI 2007. 12-15 june 2007 – Annecy – France
  • P. Borgnat, N. Larrieu, P. Owezarski, P. Abry, J. Aussibal, L. Gallon, G. Dewaele, K. Boudaoud, L. Bernaille, A. Scherrer, Y. Zhang, Y. Labit, Détection d’attaques de Dénis de Service par un modèle non gaussien multirésolution. Colloque Francophone sur l’Ingénierie des Protocoles CFIP. 30 octobre 2006 – 3 Novembre 2006, Tozeur, Tunisie
  • L. Gallon, A. Gabillon. Analyse du protocole de bus embarqué avionique ARINC 629 BP. 6ème conférence francophone sur la modélisation et la simulation (MOSIM). Rabat, Maroc, April 2006.
  • L. Gallon, J. Aussibal, Analyse spectrale d’outils classiques de DDoS, 1er Colloque sur les Risques et la Sécurité d’Internet et des Systèmes (CRISIS’2005), Bourges, France, october 13-14 2005
  • S. Farraposo, K. Boudaoud, L. Gallon, P. Owezarski, Some Issues raised by DoS Attacks and the TCP/IP Suite, 4ème conférence sur la Sécurité et les Architectures Réseau (SAR’2005), Batz sur Mer, France, June 6-10 2005
  • G. Juanole, S. Abdellatif, L. Gallon. Nouveaux concepts sur les transitions du modèle RdPTS : priorités dynamiques et attributs temporels dynamiques. 1ère Conférence International Francophone d’Automatique (CIFA’2000), Lille (France), 5-8 Juillet 2000, pp.976-981
  • G. Juanole and L. Gallon. Analyses qualitatives et quantitatives basées sur des réseaux de Petri stochastiques et concept d’automate quotient quantifié. Modélisation et Vérification des Processus Parallèles (MOVEP’98), Nantes (France), 6-9 Juillet 1998, pp.93-107
  • I. Blum, L. Gallon and G. Juanole. La problématique de l’initialisation du protocole CSMA/CA ARINC 629 CP : modélisation et validation. Real Time Systems (RTS’98), Paris (France), 14-16 Janvier 1998. Teknea, ISBN 2-87717-067-5, pp.217-233
  • G. Juanole and L. Gallon. Le modèle réseaux de Petri temporisés stochastiques et son adéquation aux systèmes distribués temps critique. Congrès AFCET “Modélisation des Systèmes Réactifs”, Brest (France), 28-29 Mars 1996, pp.301-308
Books
  • G. Juanole and L. Gallon. Concept of quantified abstract quotient automaton and its advantage – Formal Description Techniques and Protocol Specification, Testing and Verification, Eds.T.Mizuno, N.Shiratori, T.Higashino, A.Togashi, 1997, ISBN 0-412-82060-9, Chapman & Hall, pp.223-238
Technical reports
  • L. Gallon. Un aperçu du framework CVSS et de son utilisation. Technical report, March 2011
  • S. Farraposo, L. Gallon, P. Owezarski, Network Security and DoS Attacks, Technical Report n°05290, LAAS-CNRS, Toulouse, France, April 2005
  • L. Gallon. Modélisation par réseaux de Petri temporisés stochastiques et analyse du protocole ARINC 629 CP: guides de passage des réseaux de Petri temporisés stochastiques à LDS. Rapport LAAS No97022 Contrat Aérospatiale, Janvier 1997, 39p.
  • L. Gallon, I. Blum and G. Juanole. Modélisation par réseaux de Petri temporisés stochastiques et analyse du protocole ARINC 629 CP: des phénomènes particuliers : surdité d’une station, pertes de messages sur le bus, fluctuation du signal BQ, transmissions fantômes, répétition de collisions. Rapport LAAS No96427 Contrat Aérospatiale N°11C.08515, Novembre 1996, 46p.
  • L. Gallon, I. Blum and G. Juanole. Modélisation par réseaux de Petri temporisés stochastiques et analyse du protocole ARINC 629 CP : – les fonctionnements transitoires en régime normal et suite à l’occurrence de surcharges ou de pannes, – le phénomène de collision, ses causes et son contrôle. Rapport LAAS No96411 Contrat Aérospatiale N° 11.C.08515, Octobre 1996, 69p
  • L. Gallon, I. Blum and G. Juanole. Modélisation par réseaux de Petri temporisés stochastiques et analyse du protocole ARINC 629 CP : le fonctionnement normal. Rapport LAAS No96328 Contrat Aérospatiale N°11.C.08515, Août 1996, 52p
  • L. Gallon, I. Blum and G. Juanole. Présentation du protocole ARINC 629 CP et du cadre formel prévu pour son étude. Rapport LAAS No96144 Contrat Aérospatiale N°11.C.08515, Mai 1996, 60p
  • G. Juanole, L. Gallon and F. Vasques. Modélisation et analyse basées sur les réseaux de Petri temporisés stochastiques : méthodologie et application à des mécanismes de la couche liaison de données du réseau de terrain défini par la norme CEI 65C 92/39. Rapport LAAS No94476 Contrat EDF-GMAT N°M63/7B7619, Décembre 1994, 30p.