2213 search results - page 51 / 443 » Software Security |
WCRE
2003
IEEE
15 years 5 months ago
2003
IEEE
HICSS
2009
IEEE
15 years 3 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...
SIGUCCS
2004
ACM
15 years 5 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 ...
BIRTHDAY
2006
Springer
15 years 3 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...
IEEEIAS
2007
IEEE
15 years 6 months 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...