245 followers
Verifying Parameterized Timed Security Protocols. - Li Li, Jun Sun 0001, Yang Liu, Jin Song Dong http://t.co/Vj7CrUO7Du
Verifying Parameterized Timed Security Protocols. - Li Li, Jun Sun 0001, Yang Liu, Jin Song Dong http://t.co/Vj7CrUO7Du
Verifying Parameterized Timed Security Protocols. - Li Li, Jun Sun, Yang Liu, Jin Song Dong http://t.co/tSmYYxBWeW