222 search results - page 22 / 45 » A Formal Verification Methodology for Checking Data Integrit... |
119
Voted
SIGSOFT
2002
ACM
16 years 15 days ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
FCCM
2004
IEEE
15 years 3 months ago
2004
IEEE
A circuit and an associated lightweight protocol have been developed to secure communication between a control console and remote programmable network devices1 . The circuit provi...
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
109
click to vote
FM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
119
click to vote
FAC
2010
14 years 9 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...