Opacity for linear constraint Markov chains

Béatrice Bérard; Olga Kouchnarenko; John Mullins; Mathieu Sassolas

doi:10.1007/s10626-017-0259-4

Homepage
Submit
Browse
Search
Help
Sorbonne University

Opacity for linear constraint Markov chains

Béatrice Bérard ¹ Olga Kouchnarenko ^{2, 3} John Mullins ⁴ Mathieu Sassolas ^{5, 6}

1 MoVe - Modélisation et Vérification

LIP6 - Laboratoire d'Informatique de Paris 6

2 CASSIS - Combination of approaches to the security of infinite states systems

FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

3 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)

4 EPM - École Polytechnique de Montréal

5 UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12

6 LACL - Laboratoire d'Algorithmique Complexité et Logique

Béatrice Bérard ¹ AuthorId : 1174226

Author Employer institution : UMPC IdHAL : beatrice-berard

Olga Kouchnarenko ^{2, 3} AuthorId : 61794
Author

John Mullins ⁴ AuthorId : 103989
Author

Mathieu Sassolas ^{5, 6} AuthorId : 1366138

Author

1 MoVe - Modélisation et Vérification (France) StructId : 541717

LIP6 - Laboratoire d'Informatique de Paris 6 (4 Place JUSSIEU 75252 PARIS CEDEX 05 - France) StructId : 541703
- SU - Sorbonne Université (21 rue de l’École de médecine - 75006 Paris - France) StructId : 413221
- CNRS - Centre National de la Recherche Scientifique : UMR7606 (France) StructId : 441569

2 CASSIS - Combination of approaches to the security of infinite states systems (France) StructId : 2366

FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France) StructId : 866
- UFC - Université de Franche-Comté (France) StructId : 458810
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (France) StructId : 441569
- ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France) StructId : 300360
- UTBM - Université de Technologie de Belfort-Montbeliard (France) StructId : 300261
INRIA Lorraine (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France) StructId : 2496
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France) StructId : 466633
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
- UHP - Université Henri Poincaré - Nancy 1 (24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France - France) StructId : 300291
- Université Nancy 2 (91 avenue de la Libération, BP 454, 54001 Nancy cedex - France) StructId : 300292
- INPL - Institut National Polytechnique de Lorraine (France) StructId : 300293
- CNRS - Centre National de la Recherche Scientifique : UMR7503 (France) StructId : 441569

3 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France) StructId : 866

UFC - Université de Franche-Comté (France) StructId : 458810
CNRS - Centre National de la Recherche Scientifique : UMR6174 (France) StructId : 441569
ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France) StructId : 300360
UTBM - Université de Technologie de Belfort-Montbeliard (France) StructId : 300261

4 EPM - École Polytechnique de Montréal (Campus de l'Université de Montréal - 2500, chemin de Polytechnique - Montréal (Québec) H3T 1J4 - Canada) StructId : 57241

5 UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France) StructId : 420786

6 LACL - Laboratoire d'Algorithmique Complexité et Logique (LACL, Université Paris-Est Créteil Val-de-Marne, 61 avenue du Général de Gaulle 94010 Créteil cedex - France) StructId : 182989

UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 : EA4219 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France) StructId : 420786

Document type :

Journal articles

Domain :

Computer Science [cs]

Liste complète des métadonnées

https://hal.sorbonne-universite.fr/hal-02077787
Contributor : Béatrice Bérard <>
Submitted on : Saturday, March 23, 2019 - 10:19:20 PM
Last modification on : Wednesday, March 27, 2019 - 1:36:08 AM

Links full text

Identifiers

HAL Id : hal-02077787, version 1
DOI : 10.1007/s10626-017-0259-4

Collections

Citation

Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas. Opacity for linear constraint Markov chains. Discrete Event Dynamic Systems, Springer Verlag, 2018, 28 (1), pp.83-108. ⟨10.1007/s10626-017-0259-4⟩. ⟨hal-02077787⟩

Opacity for linear constraint Markov chains

Links full text

Identifiers

Collections

Citation

Export

Metrics

27

Contact

Opacity for linear constraint Markov chains

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

27

Contact