3821 search results - page 317 / 765 » A Security Model for Aglets |
174
click to vote
AAI
2004
15 years 6 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
155
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Lasers can be used by hackers to situations to inject faults in circuits and induce security flaws. On-line detection mechanisms are classically proposed to counter such attacks, ...
172
click to vote
BIOSURVEILLANCE
2007
Springer
16 years 26 days ago
2007
Springer
Algorithms for detecting anomalous events can be divided into those that are designed to detect specific diseases and those that are non-specific in what they detect. Specific dete...
182
click to vote
IEEEARES
2006
IEEE
16 years 22 days ago
2006
IEEE
A hybrid Bayesian Network (BN) is one that incorporates both discrete and continuous nodes. In our extensive applications of BNs for system dependability assessment the models are...
167
click to vote
PTS
2008
15 years 8 months ago
2008
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...