2429 search results - page 64 / 486 » Using Aspects to Design a Secure System |
109
click to vote
EUROMICRO
1998
IEEE
15 years 6 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
VLSID
2000
IEEE
15 years 6 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
106
click to vote
DESRIST
2009
Springer
15 years 7 months ago
2009
Springer
Design science is slowly but surely establishing itself as a recognized paradigm for conducting research in information systems. Researchers in the IS field have tried to study d...
114
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
106
click to vote
DRM
2004
Springer
15 years 7 months ago
2004
Springer
Recently, there is a growing interest in the research community to use tamper-resistant processors for software copy protection. Many of these tamper-resistant systems rely on a s...