1490 search results - page 179 / 298 » The Logic of Authentication Protocols |
168
click to vote
IEEECIT
2010
IEEE
15 years 4 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...
205
click to vote
TITB
2010
15 years 1 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...
172
click to vote
WWW
2002
ACM
16 years 7 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...
152
click to vote
ATAL
2007
Springer
15 years 10 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...
194
click to vote
FLOPS
2008
Springer
15 years 8 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...