618 search results - page 38 / 124 » A Practical Program Transformation System for Reverse Engine... |
143
click to vote
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
122
click to vote
PPDP
2001
Springer
15 years 7 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
113
click to vote
IEEEIAS
2009
IEEE
15 years 10 months ago
2009
IEEE
: The link between security engineering and systems engineering exists at the earliest stage of systems development, and, as a whole, there is sufficient evidence to suggest the di...
141
Voted
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
166
click to vote
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...