1414 search results - page 15 / 283 » Combining Intruder Theories |
179
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
163
click to vote
FROCOS
2007
Springer
16 years 5 days ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
153
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper addresses the problem of detecting masquerading, a security attack in which an intruder assumes the identity of a legitimate user. Many approaches based on Hidden Marko...
165
click to vote
NDSS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a new password authentication and key-exchange protocol suitable for authenticating users and exchanging keys over an untrusted network. The new protocol resis...
160
click to vote
ANSS
2004
IEEE
15 years 9 months ago
2004
IEEE
Intruders often want to analyze traffic pattern to get information for his some malicious activities in ultra-secure network. This paper presents a general approach to prevent tra...