Login / Signup

Formally analyzed m-coupon protocol with confirmation code (MCWCC).

Kerim YildirimGökhan DalkiliçNevcihan Duru
Published in: Turkish J. Electr. Eng. Comput. Sci. (2019)
Keyphrases
  • lightweight
  • source code
  • multi agent
  • tcp ip
  • network protocols
  • code generator
  • coloured petri nets
  • real time
  • databases
  • case study
  • end to end
  • formal analysis