{"date_updated":"2022-01-06T06:54:29Z","_id":"20546","page":"27-43","citation":{"chicago":"Gerking, Christopher, David Schubert, and Eric Bodden. “Model Checking the Information Flow Security of Real-Time Systems.” In Engineering Secure Software and Systems, edited by Mathias Payer, Awais Rashid, and Jose M. Such, 27–43. Cham: Springer International Publishing, 2018.","apa":"Gerking, C., Schubert, D., & Bodden, E. (2018). Model Checking the Information Flow Security of Real-Time Systems. In M. Payer, A. Rashid, & J. M. Such (Eds.), Engineering Secure Software and Systems (pp. 27–43). Springer International Publishing.","ama":"Gerking C, Schubert D, Bodden E. Model Checking the Information Flow Security of Real-Time Systems. In: Payer M, Rashid A, Such JM, eds. Engineering Secure Software and Systems. Springer International Publishing; 2018:27-43.","mla":"Gerking, Christopher, et al. “Model Checking the Information Flow Security of Real-Time Systems.” Engineering Secure Software and Systems, edited by Mathias Payer et al., Springer International Publishing, 2018, pp. 27–43.","bibtex":"@inproceedings{Gerking_Schubert_Bodden_2018, place={Cham}, title={Model Checking the Information Flow Security of Real-Time Systems}, booktitle={Engineering Secure Software and Systems}, publisher={Springer International Publishing}, author={Gerking, Christopher and Schubert, David and Bodden, Eric}, editor={Payer, Mathias and Rashid, Awais and Such, Jose M.}, year={2018}, pages={27–43} }","short":"C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.), Engineering Secure Software and Systems, Springer International Publishing, Cham, 2018, pp. 27–43.","ieee":"C. Gerking, D. Schubert, and E. Bodden, “Model Checking the Information Flow Security of Real-Time Systems,” in Engineering Secure Software and Systems, 2018, pp. 27–43."},"year":"2018","type":"conference","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://www.bodden.de/pubs/gsb18model.pdf"}],"title":"Model Checking the Information Flow Security of Real-Time Systems","user_id":"5786","place":"Cham","editor":[{"first_name":"Mathias","full_name":"Payer, Mathias","last_name":"Payer"},{"last_name":"Rashid","first_name":"Awais","full_name":"Rashid, Awais"},{"last_name":"Such","full_name":"Such, Jose M.","first_name":"Jose M."}],"date_created":"2020-11-30T09:35:55Z","status":"public","department":[{"_id":"76"}],"publication":"Engineering Secure Software and Systems","publisher":"Springer International Publishing","author":[{"last_name":"Gerking","first_name":"Christopher","full_name":"Gerking, Christopher"},{"full_name":"Schubert, David","first_name":"David","id":"9106","last_name":"Schubert"},{"id":"59256","last_name":"Bodden","full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","first_name":"Eric"}]}