3115 search results - page 188 / 623 » Synthesizing Secure Protocols |
175
Voted
IWNAS
2008
IEEE
15 years 10 months ago
2008
IEEE
The security of wireless sensor networks is ever more important nowadays. Most of the proposed security protocols in wireless sensor networks are based on authentication and encry...
134
click to vote
SAINT
2003
IEEE
15 years 9 months ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
145
click to vote
SDM
2007
SIAM
15 years 5 months ago
2007
SIAM
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. Increasing security concerns have led to a surge in w...
110
Voted
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Since IP packet reassembly requires resources, a denial of service attack can be mounted by swamping a receiver with IP fragments. In this paper we argue how this attack need not ...
142
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...