2429 search results - page 64 / 486 » Using Aspects to Design a Secure System |
EUROMICRO
1998
IEEE
14 years 1 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
14 years 1 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...
DESRIST
2009
Springer
14 years 1 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...
DAC
2007
ACM
14 years 10 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...
DRM
2004
Springer
14 years 2 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...