著者: Michael J. C. Gordon, Robin Milner, Christopher P. Wadsworth - IEEE Symposium on Security and Privacy, IEEE S&P 1979 被引用: 617
