1597 search results - page 69 / 320 » Mental Models of Computer Security |
ICPADS
2006
IEEE
15 years 8 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
135
click to vote
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
123
click to vote
EUROCRYPT
2006
Springer
15 years 5 months ago
2006
Springer
We present the first efficient group signature scheme that is provably secure without random oracles. We achieve this result by combining provably secure hierarchical signatures i...
118
click to vote
ICDM
2006
IEEE
15 years 8 months ago
2006
IEEE
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. This is especially important in the field of privacy...
110
click to vote
CCS
2001
ACM
15 years 6 months ago
2001
ACM
Authenticating mobile computing users can require a significant amount of processing and communications resources— particularly when protocols based on public key encryption are...