The XII Brazilian Symposium on Information and Computer System Security

Activity: Talks and presentationsConference presentations

Description

Presented the paper A Secure Relay Protocol for Door Access Control
Period21 Nov 2012
Event titleThe XII Brazilian Symposium on Information and Computer System Security
Event typeConference
Conference numberXII
LocationCuritiba, BrazilShow on map

Keywords

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