5255 search results - page 338 / 1051 » Formal Methods for Privacy |
129
Voted
ETRICS
2006
15 years 8 months ago
2006
Digital signatures and message authentication codes are well known methods for ensuring message integrity. However, they rely on computations which are too hard to be performed by ...
144
Voted
ETRICS
2006
15 years 8 months ago
2006
Intrusion detection aims at raising an alarm any time the security of an IT system gets compromised. Though highly successful, Intrusion Detection Systems are all susceptible of mi...
136
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper describes a method for controlling the behavior of mobile agent-system entities through the allocation of privileges. Privileges refer to policy rules that govern the a...
163
click to vote
CMS
1996
15 years 6 months ago
1996
With the increasing use of mobile and nomadic communication devices requirements for security and privacy are rising as well. Following brief surveys of existing approaches to mob...
130
click to vote
ISI
2006
Springer
15 years 4 months ago
2006
Springer
In recent years, terrorist groups have used the WWW to spread their ideologies, disseminate propaganda, and recruit members. Studying the terrorist websites may help us understand ...