518 search results - page 41 / 104 » Abstract Interpretation-Based Protection |
120
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
185
click to vote
POPL
1995
ACM
15 years 5 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
112
click to vote
IEEEARES
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
143
click to vote
MOBISEC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
107
click to vote
INFOCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Numerous authentication schemes have been proposed in the past for protecting communication authenticity and integrity in wireless sensor networks. Most of them however ...