Knowledge-Based Security of Dynamic Secrets for Reactive Programs | IEEE Conference Publication | IEEE Xplore