568 search results - page 71 / 114 » Enforcing traceability in software |
HOST
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
SADFE
2005
IEEE
14 years 3 months ago
2005
IEEE
With the rapid development of electronic commerce and Internet technology, cyber crimes have become more and more common. There is a great need for automated software systems that...
DRM
2005
Springer
14 years 3 months ago
2005
Springer
DRM has been widely promoted as a means to enforce copyright. In many previous papers, it has been argued that DRM gives too much power to rights holders and actually goes beyond ...
ASPLOS
2006
ACM
14 years 3 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...