222 search results - page 27 / 45 » A Formal Verification Methodology for Checking Data Integrit... |
ADC
2004
Springer
15 years 5 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
116
click to vote
ICWS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
168
click to vote
B
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
CHES
2010
Springer
15 years 26 days ago
2010
Springer
This paper introduces a new class of optical fault injection attacks called bumping attacks. These attacks are aimed at data extraction from secure embedded memory, which usually s...