3504 search results - page 96 / 701 » Secure protocol composition |
123
Voted
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
As Service Centric (SC) Systems are being increasingly adopted, new challenges and possibilities emerge. Business processes are now able to execute seamlessly across organizations...
121
Voted
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
120
Voted
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
114
Voted
GCC
2004
Springer
15 years 8 months ago
2004
Springer
Services are usually developed and deployed independently; and systems can be formed by composing relevant services to achieve set goals. In such an open and dynamic environment, s...
120
Voted
ISCC
2008
IEEE
15 years 9 months ago
2008
IEEE
The GSM network with the greatest worldwide number of users, succumbs to several security vulnerabilities. The Short Message Service (SMS) is one of its superior and well-tried se...