861 search results - page 110 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
WWW
2007
ACM
16 years 3 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
148
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
Nadir point plays an important role in multi-objective optimization because of its importance in estimating the range of objective values corresponding to desired Pareto-optimal s...
134
click to vote
VIZSEC
2004
Springer
15 years 8 months ago
2004
Springer
This paper concentrates on visualizing computer viruses without using virus specific signature information as a prior stage of the very important problem of detecting computer vi...
108
click to vote
CN
2007
15 years 3 months ago
2007
Worms are self-replicating malicious programs that represent a major security threat for the Internet, as they can infect and damage a large number of vulnerable hosts at timescal...
113
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...