293 search results - page 28 / 59 » Formal Security Analysis with Interacting State Machines |
LICS
1999
IEEE
13 years 12 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
SC
2004
ACM
14 years 1 months ago
2004
ACM
Virtual machines provide flexible, powerful execution environments for Grid computing, offering isolation and security mechanisms complementary to operating systems, customization...
IJNSEC
2008
13 years 7 months ago
2008
In this paper, we investigate the issues in the analysis and design of provably secure message authentication codes (MACs) Nested MAC (NMAC) and Hash based MAC (HMAC) proposed by ...
ISI
2004
Springer
14 years 1 months ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...