1183 search results - page 76 / 237 » On flow-sensitive security types |
167
click to vote
DSN
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
147
Voted
CSFW
1995
IEEE
15 years 8 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
136
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
133
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
151
click to vote
CRYPTO
2005
Springer
15 years 10 months ago
2005
Springer
Motivated by database search problems such as partial match or nearest neighbor, we present secure multiparty computation protocols for constant-depth circuits. Specifically, for ...