637 search results - page 66 / 128 » Inconsistency-Tolerant Integrity Checking |
174
click to vote
ASM
2010
ASM
16 years 25 days ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
170
click to vote
ACSAC
2009
IEEE
16 years 25 days ago
2009
IEEE
—Validating function pointers dynamically is very useful for intrusion detection since many runtime attacks exploit function pointer vulnerabilities. Most current solutions tackl...
150
click to vote
MODELS
2009
Springer
16 years 17 days ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
138
click to vote
ISCAS
2008
IEEE
16 years 12 days ago
2008
IEEE
—Bus-based system-on-chip (SoC) design becomes the major integration methods for shorting design cycle and time-tomarket, thus how to verify IP functionality on bus protocol is a...
191
click to vote
QEST
2006
IEEE
16 years 18 hour ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...