1597 search results - page 125 / 320 » Mental Models of Computer Security |
134
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
elow are abstracts of student-faculty collaborative work presented at regional, national, and international conferences. Gregory Adkins, Elizabeth Carter, Amanda Micai, and Sarah M...
156
click to vote
PODC
2003
ACM
15 years 9 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
134
click to vote
ITNG
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
145
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
139
click to vote
SDMW
2009
Springer
15 years 9 months ago
2009
Springer
A “friend finder” is a Location Based Service (LBS) that informs users about the presence of participants in a geographical area. In particular, one of the functionalities of ...