Seminar A Control-Theoretical Zero-Knowledge Proof Scheme for Networked Control Systems