5119 search results - page 229 / 1024 » Security Privacy |
147
click to vote
ISPEC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we discuss the problem of collusion secure fingerprinting. In the first part of our contribution we prove the existence of equidistant codes that can be u...
152
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
The strand spaces model and the rank functions model have both been used successfully to analyse and verify security protocols running on unbounded networks. At first sight, thes...
120
click to vote
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
Two implementations are given for Java’s stack-inspection accesscontrol policy. Each implementation is obtained by generating an inlined reference monitor (IRM) for a different...
159
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
The UNIX operating system was developed in a friendly, collaborative environment without any particular predefined objectives. As it entered less friendly environments, expanded it...
174
click to vote
FOSAD
2008
Springer
15 years 7 months ago
2008
Springer
This paper discusses how electronic voting was implemented in practice in the Netherlands, which choices were made and how electronic voting was finally abolished. This history is ...