409 search results - page 61 / 82 » How to Design Practical Test Cases |
SP
2006
IEEE
14 years 3 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
IACR
2011
12 years 9 months ago
2011
Program Obfuscation is the problem of transforming a program into one which is functionally equivalent, yet whose inner workings are completely unintelligible to an adversary. Des...
MOMPES
2007
IEEE
14 years 4 months ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
GI
2005
Springer
14 years 3 months ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...