76 search results - page 12 / 16 » Compositional Action System Derivation Using Enforced Proper... |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
ā Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciļ¬...
BIRTHDAY
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
125
click to vote
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
āAuthorization logics allow concise speciļ¬cation of ļ¬exible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as ļ¬nite words over a ļ¬nite alphabet, where regular ...
JAR
2008
14 years 9 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...