2846 search results - page 145 / 570 » Not one click for security |
128
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
163
click to vote
ESORICS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
160
click to vote
WER
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...
122
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
The eXtensible Markup Language (XML) is regarded generally as having promise of becoming established as the general purpose framework for enabling transfer of data amongst heterog...
161
Voted
HPDC
2003
IEEE
15 years 10 months ago
2003
IEEE
Grid computing is concerned with the sharing and coordinated use of diverse resources in distributed "virtual organizations.” The dynamic and multi-institutional nature of ...