671 search results - page 66 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
157
Voted
TOSEM
2010
14 years 10 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
163
Voted
DMDW
2003
15 years 4 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
118
click to vote
ACISP
2010
Springer
15 years 5 months ago
2010
Springer
To reduce the damage of phishing and spyware attacks, banks, governments, and other security-sensitive industries are deploying one-time password systems, where users have many pa...
148
click to vote
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
120
click to vote
ICPP
2008
IEEE
15 years 9 months ago
2008
IEEE
The slow speed of conventional execution-driven architecture simulators is a serious impediment to obtaining desirable research productivity. This paper proposes and evaluates a f...