1599 search results - page 183 / 320 » Program Analysis for Security and Privacy |
127
click to vote
ACISP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Two of the most recent and powerful multi-property-preserving (MPP) hash domain extension transforms are the Ramdom-Oracle-XOR (ROX) transform and the Enveloped Shoup (ES...
119
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. For the security technology that has been achieved with software in the computer system and the protection of the intellectual property right of software, software protec...
142
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
106
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Anonymous communication protocols must achieve two seemingly contradictory goals: privacy (informally, they must guarantee the anonymity of the parties that send/receive informa...
151
click to vote
ASIASIM
2004
Springer
15 years 9 months ago
2004
Springer
A network security simulator becomes more useful for the study on the cyber incidents and their defense mechanisms, as cyber terrors have been increasingly popular. Until now, netw...