641 search results - page 46 / 129 » Formal Reliability Analysis Using Theorem Proving |
120
click to vote
ASWEC
2006
IEEE
15 years 8 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
126
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
116
click to vote
WDAG
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
116
click to vote
TYPES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
126
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...