2137 search results - page 3 / 428 » Proving Abstract Non-interference |
MEMOCODE
2010
IEEE
14 years 7 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
VMCAI
2005
Springer
15 years 3 months ago
2005
Springer
CAV
2004
Springer
15 years 3 months ago
2004
Springer
