Verifying Security Policies Using Observability Theory of Discrete Event Systems

Professor Feng Lin is affialiated with Wayne State University, Department of Electrical and Compute Engineering.