An authentication logic with formal sema
β
Stubblebine, S.G.; Wright, R.N.
π
Article
π
2002
π
IEEE
π
English
β 550 KB