946 search results - page 156 / 190 » Software engineering for security: a roadmap |
176
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
140
click to vote
USS
2008
15 years 8 months ago
2008
In light of the systemic vulnerabilities uncovered by recent reviews of deployed e-voting systems, the surest way to secure the voting process would be to scrap the existing syste...
146
click to vote
FOAL
2008
ACM
15 years 7 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
154
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
178
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...