Overview of Discrete Event Systems Opacity: models, validation and quantifcation
dc.contributor.author
Jacob, Romain
dc.contributor.author
Lesage, Jean-Jacques
dc.contributor.author
Faure, Jean-Marc
dc.date.accessioned
2017-06-12T02:40:33Z
dc.date.available
2017-06-12T02:40:33Z
dc.date.issued
2016
dc.identifier.issn
1367-5788
dc.identifier.uri
http://hdl.handle.net/20.500.11850/114174
dc.language.iso
en
dc.publisher
Pergamon
dc.subject
Opacity
dc.subject
Discrete event systems
dc.subject
Security
dc.subject
Privacy
dc.subject
Secrecy
dc.subject
Enforcement Quantification
dc.subject
Verification
dc.subject
Validation
dc.title
Overview of Discrete Event Systems Opacity: models, validation and quantifcation
dc.type
Journal Article
ethz.journal.title
Annual reviews in control
ethz.journal.volume
41
ethz.pages.start
135
ethz.pages.end
146
ethz.identifier.nebis
001881942
ethz.publication.place
Oxford
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
ethz.date.deposited
2017-06-12T02:44:43Z
ethz.source
ECIT
ethz.identifier.importid
imp59365438a763911446
ethz.ecitpid
pub:175948
ethz.eth
no
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T18:35:23Z
ethz.rosetta.lastUpdated
2023-02-06T13:18:30Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Overview%20of%20Discrete%20Event%20Systems%20Opacity:%20models,%20validation%20and%20quantifcation&rft.jtitle=Annual%20reviews%20in%20control&rft.date=2016&rft.volume=41&rft.spage=135&rft.epage=146&rft.issn=1367-5788&rft.au=Jacob,%20Romain&Lesage,%20Jean-Jacques&Faure,%20Jean-Marc&rft.genre=article&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [120835]