3504 search results - page 18 / 701 » Secure protocol composition |
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
CCS
2003
ACM
15 years 7 months ago
2003
ACM
OOPSLA
2000
Springer
15 years 6 months ago
2000
Springer
112
Voted
CSFW
2011
IEEE
14 years 2 months ago
2011
IEEE
129
click to vote
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...