6861 search results - page 1207 / 1373 » Security for Ubiquitous Computing |
214
Voted
IAW
2003
IEEE
16 years 21 days 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...
213
Voted
SASN
2003
ACM
16 years 20 days 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...
195
click to vote
ICLP
2003
Springer
16 years 18 days ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
222
click to vote
DANCE
2002
IEEE
16 years 11 days 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...
228
Voted
DANCE
2002
IEEE
16 years 11 days 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...