1490 search results - page 179 / 298 » The Logic of Authentication Protocols |
100
Voted
IEEECIT
2010
IEEE
14 years 10 months ago
2010
IEEE
The small subgroup confinement attack works by confining cryptographic operations within a small subgroup, in which exhaustive search is feasible. This attack is overt and hence ca...
141
Voted
TITB
2010
14 years 7 months ago
2010
A Body Area Network (BAN) is a wireless network of health monitoring sensors designed to deliver personalized health-care. Securing inter-sensor communications within BANs is essen...
108
Voted
WWW
2002
ACM
16 years 1 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
99
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
118
Voted
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...