2213 search results - page 51 / 443 » Software Security |
127
Voted
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
172
Voted
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Security of e-voting systems does not only depend on the voting protocol 1 or the software used but concerns the whole system with all its components. To guarantee security a holi...
127
Voted
SIGUCCS
2004
ACM
15 years 11 months ago
2004
ACM
There are always more labs and other things to attend to than available bodies to watch over said pesky details. How can we keep an eye on the ever-present large and small events ...
149
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
147
Voted
IEEEIAS
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...