733 search results - page 132 / 147 » Formal Reasoning About Intrusion Detection Systems |
UC
2009
Springer
15 years 8 months ago
2009
Springer
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...
154
click to vote
FDTC
2010
Springer
14 years 12 months ago
2010
Springer
Fault injections constitute a major threat to the security of embedded systems. The errors in the cryptographic algorithms have been shown to be extremely dangerous, since powerful...
129
Voted
QI
2009
Springer
15 years 8 months ago
2009
Springer
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
211
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
102
click to vote
CHI
2009
ACM
15 years 5 months ago
2009
ACM
We conducted a field-based study examining informal nursing information. We examined the use of this information before and after the adoption of a CPOE (Computerized Provider Ord...