3504 search results - page 37 / 701 » Secure protocol composition |
CCS
2009
ACM
15 years 1 months ago
2009
ACM
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
77
Voted
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
CAISE
1999
Springer
15 years 2 months ago
1999
Springer
Software composition is critical for building large-scale applications. In this paper, we consider the composition of components that are methods offered by heterogeneous, autonomo...
ENTCS
2006
14 years 9 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...