716 search results - page 19 / 144 » Security Requirements Engineering: A Framework for Represent... |
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
IWPC
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
FATES
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
CAISE
2006
Springer
14 years 14 days ago
2006
Springer
This paper explains how goal-oriented requirements engineering can be transposed into regulation modelling. It motivates also why this way of modelling regulations is worthwhile fo...
SP
2009
IEEE
14 years 3 months ago
2009
IEEE
Malware authors have recently begun using emulation technology to obfuscate their code. They convert native malware binaries into bytecode programs written in a randomly generated...