641 search results - page 38 / 129 » Formal Reliability Analysis Using Theorem Proving |
118
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
113
click to vote
JSYML
2002
15 years 2 months ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
129
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
SNPD
2007
15 years 3 months ago
2007
As malicious code has become more sophisticated and pervasive, faster and more effective system for forensics and prevention is important. Particularly, quick analysis of polymorp...
122
click to vote
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...