3420 search results - page 226 / 684 » A Language-Based Approach to Security |
157
click to vote
EUROCRYPT
2003
Springer
15 years 10 months ago
2003
Springer
We introduce captcha, an automated test that humans can pass, but current computer programs can’t pass: any program that has high success over a captcha can be used to solve an u...
186
click to vote
AVBPA
1997
Springer
15 years 9 months ago
1997
Springer
Automated processing of facial images has become a serious market for both hard- and software products. For the commercial success of face recognition systems it is most crucial th...
132
click to vote
COOPIS
2004
IEEE
15 years 9 months ago
2004
IEEE
The model of overloading views is a facility allowing the programmer to separate some kinds of crosscutting concerns that occur during design, implementation and maintenance of dat...
127
Voted
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Home medical devices enable individuals to monitor some of their own health information without the need for visits by nurses or trips to medical facilities. This enables more con...
160
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...