Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/14194
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAdobbati, Federica-
dc.contributor.authorBernardinello, Luca-
dc.contributor.authorKılınç Soylu, Görkem-
dc.contributor.authorPomello, Lucia-
dc.date.accessioned2024-01-06T07:22:34Z-
dc.date.available2024-01-06T07:22:34Z-
dc.date.issued2024-
dc.identifier.isbn9783662681909-
dc.identifier.issn0302-9743-
dc.identifier.urihttps://doi.org/10.1007/978-3-662-68191-6_3-
dc.identifier.urihttps://hdl.handle.net/11147/14194-
dc.description43rd International Conference on Application and Theory of Petri Nets and Concurrency , Petri Nets 2022 -- 22 June 2022 through 24 June 2022en_US
dc.description.abstractIn a distributed system, in which an action can be either “hidden” or “observable”, an unwanted information flow might arise when occurrences of observable actions give information about occurrences of hidden actions. A collection of relations, i.e. reveals and its variants, is used to model such information flow among transitions of a Petri net. This paper recalls the reveals relations defined in [3], and proposes an algorithm to compute them on bounded equal-conflict PT systems, using a smaller structure than the one defined in [3]. © 2024, The Author(s), under exclusive license to Springer-Verlag GmbH, DE, part of Springer Nature.en_US
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectBounded equal-conflict Petri netsen_US
dc.subjectDistributed systemsen_US
dc.subjectInformation flowen_US
dc.subjectNoninterferenceen_US
dc.subjectReveals relationsen_US
dc.subjectBounded equal-conflict petri neten_US
dc.subjectDistributed systemsen_US
dc.titleComputing a parametric reveals relation for bounded equal-conflict Petri netsen_US
dc.typeConference Objecten_US
dc.authorid0000-0002-7047-0556-
dc.institutionauthorKılınç Soylu, Görkem-
dc.departmentİzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.volume14150 LNCSen_US
dc.identifier.startpage54en_US
dc.identifier.endpage83en_US
dc.identifier.scopus2-s2.0-85177236382en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1007/978-3-662-68191-6_3-
dc.authorscopusid57209282556-
dc.authorscopusid22733831400-
dc.authorscopusid58701065700-
dc.authorscopusid22735111500-
dc.identifier.wosqualityN/A-
dc.identifier.scopusqualityQ3-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.openairetypeConference Object-
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
Show simple item record



CORE Recommender

Page view(s)

336
checked on Nov 18, 2024

Google ScholarTM

Check




Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.