2043 search results - page 64 / 409 » Reasoning About Security Models |
78
Voted
CAV
2003
Springer
15 years 5 months ago
2003
Springer
We consider the problem of reasoning with linear temporal logic on truncated paths. A truncated path is a path that is finite, but not necessarily maximal. Truncated paths arise n...
93
Voted
CORR
2004
Springer
15 years 12 days ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
76
Voted
ACSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper discusses VIEWS, a specification for building diagrams that describe the security features of systems. The authors' recent experience with providing security archi...
101
Voted
TLDI
2003
ACM
15 years 5 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
119
Voted
TCS
2008
15 years 14 days ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...