2209 search results - page 12 / 442 » Language Based Secure Communication |
106
Voted
DISCEX
2003
IEEE
15 years 7 months ago
2003
IEEE
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...
120
click to vote
DAGSTUHL
2001
15 years 3 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
110
click to vote
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
107
click to vote
CSFW
1999
IEEE
15 years 6 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
82
Voted
MFCS
1999
Springer
15 years 6 months ago
1999
Springer
