624 search results - page 8 / 125 » Application of Lightweight Formal Methods to Software Securi... |
PDCAT
2007
Springer
15 years 3 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
COMPSAC
1997
IEEE
15 years 1 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
107
click to vote
MUE
2007
IEEE
15 years 3 months ago
2007
IEEE
Securing multimedia transmission has become a challenging issue due to the popularization of real-time multimedia applications such as video surveillance, satellite communication ...
AMAST
2004
Springer
15 years 2 months ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
CHES
2009
Springer
15 years 10 months ago
2009
Springer
Random delays are a countermeasure against a range of side channel and fault attacks that is often implemented in embedded software. We propose a new method for generation of rando...