9503 search results - page 65 / 1901 » Authenticated System Calls |
154
click to vote
EVOTING
2004
15 years 6 months ago
2004
: This paper gives an overview about the Estonian e-voting system. Paper discusses how the concept of e-voting system is designed to resist some of the main challenges of remote e-...
115
Voted
ICIAP
2003
ACM
16 years 4 months ago
2003
ACM
The elements of multimodal authentication along with system models are presented. These include the machine experts as well as machine supervisors. In particular fingerprint and s...
145
click to vote
ICMI
2009
Springer
15 years 11 months ago
2009
Springer
Mobile medical sensors promise to provide an efficient, accurate, and economic way to monitor patients’ health outside the hospital. Patient authentication is a necessary secur...
140
click to vote
CSFW
2005
IEEE
15 years 10 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...
125
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...