6164 search results - page 1066 / 1233 » Teaching Computer Security |
149
Voted
IAW
2003
IEEE
15 years 9 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...
147
Voted
SASN
2003
ACM
15 years 9 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...
119
Voted
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
155
Voted
DANCE
2002
IEEE
15 years 8 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...
149
Voted
DANCE
2002
IEEE
15 years 8 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...