Fall 2001, CSE 597E: Quiz 8 and solution - 28 Nov 2001

Please write your Name and Student ID at the top of the page.

  1. [2 points] What is the characteristic of an arbitrated digital signature protocol (only one answer, please)

    1. It involves a trusted third party to ensure delivery to the intended receiver, and only to him
    2. It involves a trusted third party to certify origin and possibly make other checks about content
    3. It involves a trusted third party to create a session key to be used as signature
    4. It involves a trusted third party to ensure that the message has been signed

  2. [3 points] In the El Gamal Signature Scheme, given the message M, the signature (r, s), and the public key (p,a,y) the receiver or 3rd party can verify the signature by checking whether:

    1. ap = yrrs (mod p)
    2. ay = yrrs (mod p)
    3. ar = yssr (mod p)
    4. aM = yrrs (mod p)

  3. [3 points] In the spi calculus nonces are represented by using (only one answer, please)

    1. A pseudorandom primitive
    2. A process which generates a sequence of bits in a random way
    3. The restriction operator (aka new operator)
    4. They cannot be represented

  4. [2 points] In the spi calculus approach, security properties are specifies in terms of (only one answer, please)

    1. properties on the traces, like in CSP
    2. processes
    3. equivalences on processes
    4. operators of the language, like restriction and encryption

Please list all the questions you asked during the presentation