A Machine-Checked Proof of Security for AWS Key Management Service uri icon

autores

  • Almeida, JoseCarlosBacelar
  • Almeida, JB
  • Barbosa, M
  • Barthe, G
  • Campagna, M
  • Cohen, E
  • Grégoire, B
  • Pereira, V
  • Aksoy-Aksel, A.

data de publicação

  • janeiro 1, 2019