718 search results - page 142 / 144 » Operational Semantics of Security Protocols |
CORR
2010
Springer
13 years 3 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 ...
EUROSYS
2006
ACM
14 years 3 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
TRIDENTCOM
2005
IEEE
13 years 11 months ago
2005
IEEE
— Recent advances in networking include new bandwidth-intensive applications, sophisticated protocols that enable real-time data and multimedia delivery and aspects of network se...
SENSYS
2005
ACM
13 years 11 months ago
2005
ACM
MAX is a system that facilitates human-centric search of the physical world. It allows humans to search for and locate objects as and when they need it instead of organizing them ...
ECCV
2004
Springer
13 years 11 months ago
2004
Springer
The problem of biometric sensor interoperability has received limited attention in the literature. Most biometric systems operate under the assumption that the data (viz., images) ...