5123 search results - page 292 / 1025 » Performance and Security Tradeoff |
177
click to vote
JCS
2010
15 years 1 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
167
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Typical web sessions can be hijacked easily by a network eavesdropper in attacks that have come to be designated "sidejacking." The rise of ubiquitous wireless networks,...
182
click to vote
ESORICS
2002
Springer
16 years 6 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 ...
148
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
There is a recent trend toward rule-based authorization systems to achieve flexible security policies. Also, new sensing technologies in pervasive computing make it possible to de...
174
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
The evolution of wireless networks and mobile devices has resulted in increased concerns about performance and security of mobile payment systems. In this paper we propose SA2pMP,...