6978 search results - page 187 / 1396 » Reframing Requirements Analysis |
178
click to vote
FROCOS
2005
Springer
16 years 19 days 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...
206
Voted
SERA
2005
Springer
16 years 18 days 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...
187
click to vote
ECLIPSE
2004
ACM
16 years 16 days 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...
185
click to vote
ISW
2004
Springer
16 years 14 days 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...
199
Voted
SAS
2004
Springer
16 years 14 days 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...