5015 search results - page 42 / 1003 » Model Checking a Path |
79
Voted
CAV
2004
Springer
15 years 6 months ago
2004
Springer
82
Voted
CAV
2001
Springer
15 years 5 months ago
2001
Springer
72
Voted
CAV
1999
Springer
15 years 5 months ago
1999
Springer
74
Voted
ENTCS
2002
15 years 17 days ago
2002
125
click to vote
ENTCS
2007
15 years 22 days 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...