7741 search results - page 248 / 1549 » Security in Active Networks |
168
click to vote
SMARTNET
2000
15 years 8 months ago
2000
The trend towards value-added Internet services causes network providers to deploy new network based quality-of-service and security services. Today, however, the customer has onl...
198
click to vote
PDC
2004
ACM
16 years 3 days ago
2004
ACM
As computer technologies start to permeate the everyday activities of a continuously growing population, social and technical as well as political and legal issues will surface. P...
178
click to vote
SP
2006
IEEE
16 years 21 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
161
click to vote
ICCSA
2004
Springer
16 years 2 days ago
2004
Springer
In the course of making electronic services and facilities more widely accessible and usable, more and more IT systems are incorporating smart cards as a component. We analyzes the...
182
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
Eudaemon is a technique that aims to blur the borders between protected and unprotected applications, and brings together honeypot technology and end-user intrusion detection and ...