323 search results - page 50 / 65 » Security Analysis of Mobile Java |
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
Component-based enterprise systems often suffer from performance issues as a result of poor system design. In this paper, we propose a framework to automatically detect, assess an...
ESORICS
2005
Springer
15 years 3 months ago
2005
Springer
The freedom and transparency of information flow on the Internet has heightened concerns of privacy. Given a set of data items, clustering algorithms group similar items together...
SASN
2003
ACM
15 years 2 months ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
CMS
2010
14 years 9 months ago
2010
Abstract. Client-based attacks on internet users with malicious web pages represent a serious and rising threat. Internet Browsers with enabled active content technologies such as ...