Maciej Koutny

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jeremy W. Bryans

> Home > Persons > Maciej Koutny

Publications

2012
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BryansKM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BryansKM12
Jeremy W. Bryans, Maciej Koutny, Chunyan Mu:
Towards Quantitative Analysis of Opacity. TGC 2012: 145-163
2008
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/BryansKMR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/BryansKMR08
Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan:
Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6): 421-435 (2008)
2005
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/BryansKMR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/BryansKMR05
Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan:
Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95
2004
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/BryansKR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/BryansKR04
Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan:
Modelling Dynamic Opacity Using Petri Nets with Silent Actions. Formal Aspects in Security and Trust 2004: 159-172
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BryansKR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BryansKR05
Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan:
Modelling Opacity Using Petri Nets. WISP@ICATPN 2004: 101-115

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.