Timestamp
33 views
Skip to first unread message
anony mous
Jan 23, 2021, 6:02:48 AM1/23/21
to tamarin...@googlegroups.com
Dear all,
I am Alsita and I learn cryptography in my collage. I have a question about modelling authentication protocol in Tamarin Prover. How if the protocol using time stamp, can we make a model of it in tamarin, or should we make timestamp as a value? Thank you
Sent from Mail for Windows 10
Reply all
Reply to author
Forward
0 new messages