Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Görkem Kılınç"'
Publikováno v:
In Information and Software Technology January 2024 165
Publikováno v:
IEEE Access, 10, 38483-38501. IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
In distributed systems, the occurrence of an action can give information about the occurrence of other actions. This can be an unwanted situation when 'high' actions of the system need to be kept secret, while allowing users to observe 'low' actions.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::580f6e99d0038aca032b4a126e752aad
https://doi.org/10.1109/access.2022.3165185
https://doi.org/10.1109/access.2022.3165185
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783319578606
Petri Nets
Petri Nets
The notion of observable liveness was introduced in the literature for 1-safe Petri net systems in which transitions are either observable or unobservable by a user and, among the observable ones, some are controllable, in the sense that they corresp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f542001f9852247acb15134f0cadaac6
https://doi.org/10.1007/978-3-319-57861-3_12
https://doi.org/10.1007/978-3-319-57861-3_12
Publikováno v:
Transactions on Petri Nets and Other Models of Concurrency XI ISBN: 9783662534007
PNSE @ Petri Nets
PNSE @ Petri Nets
We introduce two families of relations on the transitions of a Petri net. The first one is an adaptation of the “reveals” relation previously defined on occurrence nets for fault diagnosis applications. Here, this relation is considered for model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::510731c4d1c831fa4dbed5d342b04e89
http://hdl.handle.net/10281/146399
http://hdl.handle.net/10281/146399
Autor:
Jörg Desel, Görkem Kılınç
Whereas, for Petri nets, the traditional liveness property guarantees that each transition of a Petri net can always occur again, observable liveness requires that, from any reachable marking, each observable transition can be forced to fire by choos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d78950747a2699f0ba5d51e70a1b4330
http://hdl.handle.net/10281/83246
http://hdl.handle.net/10281/83246
Publikováno v:
IEEE Access, Vol 10, Pp 38483-38501 (2022)
In distributed systems, the occurrence of an action can give information about the occurrence of other actions. This can be an unwanted situation when “high” actions of the system need to be kept secret, while allowing users to observe “low”
Externí odkaz:
https://doaj.org/article/fa2cf9a1a77f4beba10f872b36553fbe
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662457290
PNSE+ModPE
PNSE+ModPE
We present a Petri net model of a protocol for the distributed generation of id-based private keys. Those keys can then be used for secure communications. The components of the system are built as refinements of a common interface, by applying a form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ba8ab6fdc09be52ecd05821c17e1261
https://doi.org/10.1007/978-3-662-45730-6_2
https://doi.org/10.1007/978-3-662-45730-6_2
Autor:
Igor Nai Fovino, Görkem Kılınç
Publikováno v:
Critical Information Infrastructures Security ISBN: 9783642414848
CRITIS
CRITIS
The security of the ICT (Information Communications Technology) components of industrial systems is gaining great importance in the context of their criticality for society at large. There is an urgent need for the consideration of security in their
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c397615ce78c9f8e4069d6c509fda89
https://doi.org/10.1007/978-3-642-41485-5_11
https://doi.org/10.1007/978-3-642-41485-5_11
Publikováno v:
WODES
11th International Workshop on Discrete Event Systems, WODES 2012; Guadalajara, Jalisco; Mexico; 3 October 2012 through 5 October 2012
The cyber-security of industrial control systems (ICS) is gaining high relevance due to the impact of industri
The cyber-security of industrial control systems (ICS) is gaining high relevance due to the impact of industri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fafaf96d149845c0f85f15c95a5325ea
http://hdl.handle.net/11147/5222
http://hdl.handle.net/11147/5222