537 search results - page 69 / 108 » A threat-driven approach to modeling and verifying secure so... |
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
FMSD
2010
13 years 6 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
IMC
2006
ACM
14 years 1 months ago
2006
ACM
The academic community has long acknowledged the existence of malicious botnets, however to date, very little is known about the behavior of these distributed computing platforms....
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...