3420 search results - page 195 / 684 » A Language-Based Approach to Security |
152
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
121
click to vote
STOC
2007
ACM
16 years 4 months ago
2007
ACM
A zero-knowledge proof allows a prover to convince a verifier of an assertion without revealing any further information beyond the fact that the assertion is true. Secure multipar...
172
click to vote
MOBIHOC
2005
ACM
16 years 4 months ago
2005
ACM
Node compromise poses severe security threats in wireless sensor networks. Unfortunately, existing security designs can address only a small, fixed threshold number of compromised...
139
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
184
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...