Bounded memory Dolev–Yao adversaries in collaborative systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2014
Source ID
10.1016/j.ic.2014.07.011

Entities

People

  • Andre Scedrov
  • Max Kanovich
  • Tajana Ban Kirigin
  • Vivek Nigam

Organizations

  • Air Force Office of Scientific Research
  • Alexander von Humboldt Foundation
  • Coordenação de Aperfeicoamento de Pessoal de Nível Superior
  • National Council for Scientific and Technological Development
  • National Science Foundation
  • Office of Naval Research