270 search results - page 39 / 54 » Verifying Second-Level Security Protocols |
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Most of the current trust models in peer-to-peer (P2P) systems are identity based, which means that in order for one peer to trust another, it needs to know the other peer’s ide...
ESORICS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Identity fraud (IDF) may be defined as unauthorized exploitation of credential information through the use of false identity. We propose CROO, a universal (i.e. generic) ...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
PKC
1999
Springer
14 years 27 days ago
1999
Springer
Firewalls typically filter network traffic at several different layers. At application layer, filtering is based on various security relevant information encapsulated into proto...
POLICY
2001
Springer
14 years 1 months ago
2001
Springer
IPSec (Internet Security Protocol Suite) functions will be executed correctly only if its policies are correctly specified and configured. Manual IPSec policy configuration is inef...