Graduate University of the Chinese Academy of Sciences

Displaying 1-2 of 2 results

  • White Papers // Mar 2010

    Verifiable Attribute Based Encryption

    In this paper, the authors propose the notion of Verifiable Attribute-Based Encryption (VABE) and give two constructs of key-policy VABE. One is with a single authority, and the other is with multi authorities. Not only their schemes are proved secure as the previous ABE schemes, they also provide a verification...

    Provided By Graduate University of the Chinese Academy of Sciences

  • White Papers // Oct 2006

    BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach

    BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. This method first uses an Extended Control Flow Graph (XCFG) to represent a BPEL program, and generates all the sequential test paths...

    Provided By Graduate University of the Chinese Academy of Sciences

  • White Papers // Mar 2010

    Verifiable Attribute Based Encryption

    In this paper, the authors propose the notion of Verifiable Attribute-Based Encryption (VABE) and give two constructs of key-policy VABE. One is with a single authority, and the other is with multi authorities. Not only their schemes are proved secure as the previous ABE schemes, they also provide a verification...

    Provided By Graduate University of the Chinese Academy of Sciences

  • White Papers // Oct 2006

    BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach

    BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. This method first uses an Extended Control Flow Graph (XCFG) to represent a BPEL program, and generates all the sequential test paths...

    Provided By Graduate University of the Chinese Academy of Sciences