3821 search results - page 318 / 765 » A Security Model for Aglets |
164
click to vote
ISSE
2010
15 years 5 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
147
Voted
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
144
click to vote
IEEEIAS
2007
IEEE
16 years 1 months ago
2007
IEEE
There is a large number of research papers and standards dedicated to security for outsourced data. Yet, most papers propose new controls to access and protect the data rather tha...
169
click to vote
IEEEARES
2006
IEEE
16 years 22 days ago
2006
IEEE
In many reliability studies based on data, reliability engineers face incompleteness and incoherency problems in the data. Probabilistic tools badly handle these kinds of problems...
155
click to vote
SAFECOMP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Simulation-based Fault Injection in VHDL descriptions is increasingly common due to the popularity of top-down design flows exploiting this language. This paper presents ...