5639 search results - page 271 / 1128 » Timed Abstract Non-interference |
116
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...
120
Voted
HOTOS
1999
IEEE
15 years 7 months ago
1999
IEEE
The file is a well-understood and very simple abstraction, which has been successfully used in both centralized and distributed systems. However, files are not expressive enough t...
144
Voted
ESORICS
2000
Springer
15 years 7 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
158
click to vote
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
159
click to vote
DT
2006
15 years 3 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...