1679 search results - page 296 / 336 » Security Properties and CSP |
LICS
2002
IEEE
14 years 19 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
FSE
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. Modes of operation adapt block ciphers to many applications. Among the encryption modes, only CFB Cipher Feedback has both of the following properties: Firstly it allow...
ISCC
2000
IEEE
14 years 3 days ago
2000
IEEE
We believe that the next evolutionary step in supporting wide-area application and services delivery to customers is a network framework that provides for collocation of applicati...
CP
2000
Springer
14 years 2 days ago
2000
Springer
plexity Theorems: Talk Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 David McAllester Regular Papers Automatic Generation of Propagation Rules for F...
FMLDO
1990
Springer
13 years 11 months ago
1990
Springer
Object-oriented database systems (ooDBMSs) are supposed to offer at least the functionality available in commercial relational DBMSs of today. One important consequence of this is...