114 search results - page 16 / 23 » Using Verification Technology to Specify and Detect Malware |
101
Voted
KDD
2002
ACM
15 years 10 months ago
2002
ACM
Technology in the field of digital media generates huge amounts of non-textual information, audio, video, and images, along with more familiar textual information. The potential f...
ENTCS
2006
14 years 9 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
81
Voted
ISW
2004
Springer
15 years 2 months ago
2004
Springer
Misuse Detection systems identify evidence of attacks by searching for patterns of known attacks (signatures). A main problem in this context is the modeling and specification of a...
101
click to vote
NGITS
1999
Springer
15 years 1 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
ICWE
2010
Springer
14 years 8 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...