615 search results - page 33 / 123 » Frameworks for Securing Limited-Device Applications |
112
click to vote
JOC
2011
14 years 5 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
ESORICS
2002
Springer
15 years 10 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
ISCC
2000
IEEE
15 years 3 months ago
2000
IEEE
We believe that the next evolutionary step in supporting wide-area application and services delivery to customers is a network framework that provides for collocation of applicati...
SP
2010
IEEE
15 years 2 months ago
2010
IEEE
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
SAINT
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we propose a reputation-based trust model for P2P applications and study it a security framework. This framework makes it easy to reason about the resilience of the...