2162 search results - page 348 / 433 » A Meta-Notation for Protocol Analysis |
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
ISCC
2003
IEEE
15 years 3 months ago
2003
IEEE
Multipoint communication — simultaneous transmission from multiple sources to a group of receivers — has numerous applications on Internet. However, the problem is mainly stud...
WETICE
2003
IEEE
15 years 3 months ago
2003
IEEE
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
CAIP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In this paper, we propose a heterogeneous committee machine for face processing including face detection and recognition. Our proposed system consists of two components, ...
ERCIMDL
2003
Springer
15 years 3 months ago
2003
Springer
We describe “digitometric” services and tools that add value to open-access eprint archives using the Open Archives Initiative (OAI) Protocol for Metadata Harvesting. Celestial...