External Links

    Journal: ACM Trans. Inf. Syst. Secur.

    Volume 10, Issue 2

    5 -- 0Ninghui Li, Mahesh V. Tripunitara, Ziad Bizri. On mutually exclusive roles and separation-of-duty
    6 -- 0Kun Peng, Colin Boyd, Ed Dawson. Batch zero-knowledge proof and verification and its applications
    7 -- 0Tanvir Ahmed, Anand R. Tripathi. Specification and verification of security requirements in a programming model for decentralized CSCW systems
    8 -- 0Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon. Secure sessions for Web services
    runs on