161 search results - page 16 / 33 » Combining Algorithms for Deciding Knowledge in Security Prot... |
JUCS
2007
13 years 8 months ago
2007
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
ASIAN
2006
Springer
14 years 11 days ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
SENSYS
2003
ACM
14 years 1 months ago
2003
ACM
For many sensor network applications such as military surveillance, it is necessary to provide full sensing coverage to a security-sensitive area while at the same time minimizing...
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
This paper is focused on algorithmic issues for biometric face verification (i.e., given an image of the face and an identity claim, decide whether they correspond to each other o...