FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4311398791> ?p ?o ?g. }

• W4311398791 abstract "Abstract Due to the proliferation of contemporary computer-integrated systems and communication networks, there is more concern than ever regarding privacy, given the potential for sensitive data exploitation. A recent cyber-security research trend is to focus on security principles and develop the foundations for designing safety-critical systems. In this work, we investigated the problem of verifying current-state opacity in discrete event systems using labeled Petri nets. A system is current-state opaque provided that the current-state estimate cannot be revealed as a subset of secret states. We introduced a new sub-model of the system, named an observer net. The observer net have the same structure as the plant, but it is distinguished by the use of colored markers as well as simultaneous and recursive transition enabling and firing, which offer an efficient state estimation. We considered two settings of the proposed approach: an on-line setting, in which a current-state opacity algorithm is proposed. The algorithm waits for the occurrence of an observable event and determines if the current observation of a plant reveals the secret behaviour, as well as, an off-line setting, where the verification problem is solved based on a state estimator called a colored estimator. In this context, necessary and sufficient conditions for verifying opacity are developed with illustrative examples to demonstrate the presented approach." @default.
• W4311398791 created "2022-12-26" @default.
• W4311398791 creator A5041678181 @default.
• W4311398791 creator A5045305170 @default.
• W4311398791 creator A5062458524 @default.
• W4311398791 creator A5070385087 @default.
• W4311398791 creator A5090664309 @default.
• W4311398791 date "2022-12-14" @default.
• W4311398791 modified "2023-10-15" @default.
• W4311398791 title "Current-state opacity verification in discrete event systems using an observer net" @default.
• W4311398791 cites W1492585812 @default.
• W4311398791 cites W1812425403 @default.
• W4311398791 cites W1972158470 @default.
• W4311398791 cites W1994234600 @default.
• W4311398791 cites W2001653139 @default.
• W4311398791 cites W2004398490 @default.
• W4311398791 cites W2031373068 @default.
• W4311398791 cites W2037457229 @default.
• W4311398791 cites W2052227055 @default.
• W4311398791 cites W2101008541 @default.
• W4311398791 cites W2122049982 @default.
• W4311398791 cites W2142367687 @default.
• W4311398791 cites W2148114786 @default.
• W4311398791 cites W2158302348 @default.
• W4311398791 cites W2160792115 @default.
• W4311398791 cites W2162000948 @default.
• W4311398791 cites W2403044140 @default.
• W4311398791 cites W2416559203 @default.
• W4311398791 cites W2461900131 @default.
• W4311398791 cites W2475851218 @default.
• W4311398791 cites W2509841691 @default.
• W4311398791 cites W2538443008 @default.
• W4311398791 cites W2603068814 @default.
• W4311398791 cites W2614826960 @default.
• W4311398791 cites W2761853058 @default.
• W4311398791 cites W2773002878 @default.
• W4311398791 cites W2800404248 @default.
• W4311398791 cites W2804520243 @default.
• W4311398791 cites W2884404272 @default.
• W4311398791 cites W2901162916 @default.
• W4311398791 cites W2912987268 @default.
• W4311398791 cites W2913280966 @default.
• W4311398791 cites W3003404631 @default.
• W4311398791 cites W3011778292 @default.
• W4311398791 cites W3037813701 @default.
• W4311398791 cites W3043429084 @default.
• W4311398791 cites W3090798789 @default.
• W4311398791 cites W3112275921 @default.
• W4311398791 cites W3162543457 @default.
• W4311398791 cites W3178325035 @default.
• W4311398791 cites W3212931265 @default.
• W4311398791 cites W4220908111 @default.
• W4311398791 cites W4225999444 @default.
• W4311398791 cites W4226238815 @default.
• W4311398791 cites W4242449149 @default.
• W4311398791 doi "https://doi.org/10.1038/s41598-022-25697-y" @default.
• W4311398791 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/36517648" @default.
• W4311398791 hasPublicationYear "2022" @default.
• W4311398791 type Work @default.
• W4311398791 citedByCount "1" @default.
• W4311398791 countsByYear W43113987912023 @default.
• W4311398791 crossrefType "journal-article" @default.
• W4311398791 hasAuthorship W4311398791A5041678181 @default.
• W4311398791 hasAuthorship W4311398791A5045305170 @default.
• W4311398791 hasAuthorship W4311398791A5062458524 @default.
• W4311398791 hasAuthorship W4311398791A5070385087 @default.
• W4311398791 hasAuthorship W4311398791A5090664309 @default.
• W4311398791 hasBestOaLocation W43113987911 @default.
• W4311398791 hasConcept C105795698 @default.
• W4311398791 hasConcept C11413529 @default.
• W4311398791 hasConcept C119599485 @default.
• W4311398791 hasConcept C120665830 @default.
• W4311398791 hasConcept C121332964 @default.
• W4311398791 hasConcept C127413603 @default.
• W4311398791 hasConcept C148043351 @default.
• W4311398791 hasConcept C151730666 @default.
• W4311398791 hasConcept C185429906 @default.
• W4311398791 hasConcept C2779343474 @default.
• W4311398791 hasConcept C2779662365 @default.
• W4311398791 hasConcept C2780704645 @default.
• W4311398791 hasConcept C33923547 @default.
• W4311398791 hasConcept C38677869 @default.
• W4311398791 hasConcept C41008148 @default.
• W4311398791 hasConcept C48103436 @default.
• W4311398791 hasConcept C60056205 @default.
• W4311398791 hasConcept C62520636 @default.
• W4311398791 hasConcept C80444323 @default.
• W4311398791 hasConcept C86803240 @default.
• W4311398791 hasConceptScore W4311398791C105795698 @default.
• W4311398791 hasConceptScore W4311398791C11413529 @default.
• W4311398791 hasConceptScore W4311398791C119599485 @default.
• W4311398791 hasConceptScore W4311398791C120665830 @default.
• W4311398791 hasConceptScore W4311398791C121332964 @default.
• W4311398791 hasConceptScore W4311398791C127413603 @default.
• W4311398791 hasConceptScore W4311398791C148043351 @default.
• W4311398791 hasConceptScore W4311398791C151730666 @default.
• W4311398791 hasConceptScore W4311398791C185429906 @default.
• W4311398791 hasConceptScore W4311398791C2779343474 @default.
• W4311398791 hasConceptScore W4311398791C2779662365 @default.
• W4311398791 hasConceptScore W4311398791C2780704645 @default.

• next