3115 search results - page 220 / 623 » Synthesizing Secure Protocols |
138
click to vote
SECURWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
The Session Initiation Protocol (SIP) is increasingly used as a signaling protocol for administrating Voice over IP (VoIP) phone calls. SIP can be configured in several ways so t...
130
click to vote
IACR
2011
14 years 3 months ago
2011
— Both broadcast encryption (BE) protocols and multicast key distribution (MKD) protocols try to solve the same problem of private group communication. For the first time, we dis...
142
click to vote
ASIACRYPT
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. At Eurocrypt 2005, Waters presented an identity based encryption (IBE) protocol which is secure in the full model without random oracle. In this paper, we extend Waters&#...
144
click to vote
ASIACRYPT
2008
Springer
15 years 6 months ago
2008
Springer
Encryption schemes that support computation on encrypted data are useful in constructing efficient and intuitively simple cryptographic protocols. However, the approach was previo...
103
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...