6978 search results - page 187 / 1396 » Reframing Requirements Analysis |
82
Voted
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
97
Voted
SERA
2005
Springer
15 years 3 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
ECLIPSE
2004
ACM
15 years 3 months ago
2004
ACM
Developing and consistently evolving quality software designs requires both theoretical knowledge and practical skills. The former can be communicated in a classroom; the latter h...
ISW
2004
Springer
15 years 3 months ago
2004
Springer
Signcryption is a new cryptographic primitive that performs signing and encryption simultaneously, at a cost significantly lower than that required by the traditional signature-th...
SAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...