718 search results - page 19 / 144 » Toward Models for Forensic Analysis |
83
Voted
WCET
2008
14 years 11 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
RTCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
From a real-time perspective, the Garbage Collector (GC) introduces unpredictable pauses that are not tolerated by real-time tasks. Real-time collectors eliminate this problem but...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a generic model for information security implementation in organizations. The model presented here is part of an ongoing research stream related to critical in...
71
Voted
WEWORC
2007
14 years 10 months ago
2007
Abstract. Courtois, Finiasz and Sendrier proposed in 2001 a practical code-based signature scheme. We give a rigorous security analysis of a modified version of this scheme in the...