المؤلفون: Klenze, Tobias¹ (AUTHOR) tobias.klenze@inf.ethz.ch, Sprenger, Christoph¹ (AUTHOR) sprenger@inf.ethz.ch, Basin, David¹ (AUTHOR) basin@inf.ethz.ch

المصدر: Journal of Computer Security. 2023, Vol. 31 Issue 3, p217-259. 43p.

مصطلحات موضوعية: *COMPUTER network protocols, *DATA security, *OPENFLOW (Computer network protocol), *PROBLEM solving, SELF-efficacy, COMMUNITIES

المؤلفون: Klenze, Tobias, Sprenger, Christoph, Basin, David

مصطلحات موضوعية: formal verification, refinement, security protocol, security protocol verification, data plane, future internet, path authorization

العلاقة: https://zenodo.org/communities/verificationTest; https://zenodo.org/record/4515953Test; https://doi.org/10.5281/zenodo.4515953Test; oai:zenodo.org:4515953

الإتاحة: https://doi.org/10.5281/zenodo.4515953Test
https://doi.org/10.5281/zenodo.4515952Test
https://zenodo.org/record/4515953Test