741 search results - page 129 / 149 » Verification of security protocols using LOTOS-method and ap... |
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Cognitive networks are the latest progression of cognitive functionality into the networking stack, an effort which began with a layer one and two focus on cognitive radios, an...
100
click to vote
BPM
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
INDOCRYPT
2001
Springer
15 years 4 months ago
2001
Springer
We propose a new anonymous fingerprinting scheme using Okamoto-Uchiyama cryptosystem[1]. In the previous schemes[2]-[4] the enciphering rate is so small that it seems very difficu...
100
click to vote
ICTAI
1999
IEEE
15 years 4 months ago
1999
IEEE
Reliability, security, scalability and QoS (Quality-of-Service) have become key issues as we envision the future Internet. This paper presents the "Cognitive Packet Network (C...
AUSAI
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...