@dblp

Secrecy by Witness Functions.

, , and . FMS @ Petri Nets, volume 1158 of CEUR Workshop Proceedings, page 34-52. CEUR-WS.org, (2014)

Links and resources

Tags