4511 search results - page 352 / 903 » Observation Based System Security |
171
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
119
click to vote
EVOTING
2004
15 years 8 months ago
2004
: In this paper we analyse the experience gained in the 2002 and 2003 UK e-voting pilots in the implementation of the e-electoral register of voters. After theoretically establishi...
186
click to vote
ISW
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Today, digital content is routinely distributed over the Internet, and consumed in devices based on open platforms. However, on open platforms users can run exploits, rec...
176
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
175
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The results of the Web query log analysis may be significantly shifted depending on the fraction of agents (non-human clients), which are not excluded from the log. To detect and ...