3931 search results - page 525 / 787 » Separation logic and abstraction |
184
click to vote
ACNS
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. This paper describes a method to convert stateless key revocation schemes based on the subset cover principle into stateful schemes. The main motivation is to reduce the ...
226
click to vote
ACSAC
2005
IEEE
16 years 26 days ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
175
click to vote
ICDE
2005
IEEE
16 years 25 days ago
2005
IEEE
Abstract— Detecting and unraveling incipient coordinated attacks on Internet resources requires a distributed network monitoring infrastructure. Such an infrastructure will have ...
220
click to vote
DALT
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
189
click to vote
FASE
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...