Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Current Web services standards enable publishing service descriptions and finding services on a match based on criteria such as method signatures or service category. However, cur...
Message integrity from one sender to one receiver is typically achieved by having the two parties share a secret key to compute a Message Authentication Code (MAC). We consider the...
In order to support relatively differentiated QoS requirement over time-varying shared wireless medium with location-dependent errors, we propose in this paper a Wireless Fair Sche...
P. Lin, Brahim Bensaou, Q. L. Ding, Kee Chaing Chu...
This paper presents an authentication scheme and an access control scheme for JPEG2000 image codestreams based on hash chains. Both schemes are fully compatible with the core part...