5015 search results - page 42 / 1003 » Model Checking a Path |
116
Voted
CAV
2004
Springer
15 years 10 months ago
2004
Springer
106
Voted
CAV
1999
Springer
15 years 9 months ago
1999
Springer
160
click to vote
ENTCS
2007
15 years 5 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...