共 7 条
- [1] Protocol analysis, composability and computation [J]. COMPUTER SYSTEMS: THEORY, TECHNOLOGY AND APPLICATIONS: A TRIBUTE TO ROGER NEEDHAM, 2004, : 15 - 19
- [2] ANDERSON RJ, LNCS, V2133, P125
- [3] BLAZE MA, LNCS, V2133, P54
- [4] BOND MK, LNCS, V2162, P220
- [5] Simmons' protocol is not free of subliminal channels [J]. 9TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1996, : 170 - 175
- [6] JOHNSON DB, 1991, IBM SYSTEMS J JUN, P130
- [7] SIMMONS GJ, INFO HIDING 96, P237