Abstract | ||
---|---|---|
Several notions of non-interference have been proposed in the literature to study the problem of confidentiality in concurrent systems. The common feature of these non-interference properties is that they are all defined as extensional properties based on some notion of behavioural equivalence on systems. Here we also address the problem of defining non-interference by looking at the structure of the net systems under investigation. We define structural non-interference properties based on the absence of particular places in the net. We characterize a structural property, called PBNI+, that is equivalent to the well-known behavioural property SBNDC. We start providing a characterization of PBNI+on contact-free Elementary Net Systems, then we extend the definition to cope with the richer class of Trace nets. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-27793-4_1 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Discrete mathematics,Petri net,Computer science,Concurrency,Structural property,Theoretical computer science,Equivalence (measure theory),Behavioral analysis,Artificial intelligence,Interference (wave propagation),Extensional definition | Conference | 3099 |
ISSN | Citations | PageRank |
0302-9743 | 12 | 0.74 |
References | Authors | |
8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nadia Busi | 1 | 1030 | 65.70 |
Roberto Gorrieri | 2 | 2297 | 184.63 |