456 search results - page 46 / 92 » A Proof System for Abstract Non-interference |
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
We have developed a general denition of segregation in the context of Z system specications. This denition is general enough to allow multi-way communications between otherwise seg...
103
click to vote
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
126
click to vote
ICTCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
118
click to vote
PODC
1999
ACM
15 years 6 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
113
click to vote
STOC
2007
ACM
16 years 1 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...