9316 search results - page 1473 / 1864 » Analysis of traceback techniques |
162
click to vote
ASIAN
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
203
click to vote
CAIP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Cardiac dynamics suppression is a main issue for visual improvement and computation of tissue mechanical properties in IntraVascular UltraSound (IVUS). Although in recent...
172
Voted
CAISE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
149
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
177
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
Anonymity is increasingly important for network applications concerning about censorship and privacy. The existing anonymous communication protocols generally stem from mixnet and...