The XII Brazilian Symposium on Information and Computer System Security

Wognsen, E. R. (Speaker)

Activity: Talks and presentationsConference presentations

Description

Presented the paper A Secure Relay Protocol for Door Access Control
Period21 Nov 2012
Event typeConference
Conference numberXII
LocationCuritiba, Brazil

Keywords

  • Communication protocol
  • Cryptography
  • Applied pi calculus
  • Protocol verification
  • ProVerif