1186 search results - page 173 / 238 » A New Approach to Secure Logging |
105
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
103
click to vote
CCS
2005
ACM
15 years 6 months ago
2005
ACM
Indirection-based overlay networks (IONs) are a promising approach for countering distributed denial of service (DDoS) attacks. Such mechanisms are based on the assumption that at...
94
Voted
MATA
2004
Springer
15 years 6 months ago
2004
Springer
Mobile agents are software entities consisting of code, data and state that can migrate autonomously from host to host executing their code. Unfortunately, security issues restrict...
UIALL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...
108
Voted
IEEEMSP
2002
IEEE
15 years 5 months ago
2002
IEEE
— It is well known that encryption provides secure channels for communicating entities. However, due to lack of covertness on these channels, an eavesdropper can identify encrypt...