5665 search results - page 966 / 1133 » Introduction to Computer Security |
142
Voted
IAW
2003
IEEE
15 years 7 months ago
2003
IEEE
– Computer Networks connected to the Internet continue to be compromised and exploited by hackers. This is in spite of the fact that many networks run some type of security mecha...
136
click to vote
SASN
2003
ACM
15 years 7 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
106
Voted
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
144
click to vote
DANCE
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we explore flexible name resolution as a way of supporting extensibility for wide-area distributed services. Our approach, called Active Names, maps names to a cha...
134
click to vote
DANCE
2002
IEEE
15 years 7 months ago
2002
IEEE
Although active networks have generated much debate in the research community, on the whole there has been little hard evidence to inform this debate. This paper aims to redress t...