1183 search results - page 36 / 237 » On flow-sensitive security types |
135
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
157
click to vote
IJNSEC
2008
15 years 4 months ago
2008
A new concept of society-oriented designated confirmer signatures (SDCS) is introduced in this paper. SDCS is well suited to applications where the capability of the signer and th...
143
click to vote
JCS
2011
14 years 11 months ago
2011
One of the main challenges in pervasive computing is how we can establish secure communication over an untrusted high-bandwidth network without any initial knowledge or a Public K...
120
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
132
click to vote
WETICE
2000
IEEE
15 years 8 months ago
2000
IEEE
With the advent and the rising popularity of networks, Internet, intranets and distributed systems, security is becoming one of the major concerns in IT research. An increasing nu...