Formal Modeling and Analysis of a Secure
β
Lu Ma; Tsai, J.J.P.
π
Article
π
2008
π
IEEE
π
English
β 467 KB