3504 search results - page 70 / 701 » Secure protocol composition |
104
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
96
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
120
click to vote
ASWEC
2006
IEEE
15 years 8 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
101
click to vote
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
171
Voted
TDSC
2011
14 years 9 months ago
2011
Recently, Chien proposed an ultralightweight RFID authentication protocol to prevent all possible attacks. However, we find two de-synchronization attacks to break the protocol. K...