3420 search results - page 373 / 684 » A Language-Based Approach to Security |
188
click to vote
ICIAR
2010
Springer
15 years 11 months ago
2010
Springer
Two-factor authentication has been introduced in order to enhance security in authentication systems. Different factors have been introduced, which are combined for means of contr...
212
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
The First Trading Agent Competition TAC was held from June 22nd to July 8th, 2000. TAC was designed to create a benchmark problem in the complex domain of emarketplaces and to m...
176
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
We propose a novel and robust hashing paradigm that uses iterative geometric techniques and relies on observations that main geometric features within an image would approximately ...
175
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe ITS4, a tool for statically scanning security-critical C source code for vulnerabilities. Compared to other approaches, our scanning technique stakes out a new middle ...
183
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...