A uniform framework for the formal specification and verification of information flow security [Elektronische Ressource] / Heiko Mantel

9;:=A@CB?I?&?W?????X?f^RT(|VUX]^TSn$MPOQOSRIZeOQo&pFVqrUX`PMmo&p=vy}2Ro&peZeMPOQo&p^RZ~FVi=]e`?U??*4LNMPOQOSRTSUWVUXMPY[Z5\]^T(_Ta`bV[Z^cd]eZ^cgf^ROhNTWVf^RIOf^RT??ZeM??dRTaOQM?U??)*5."$63&87DFEHGI:KJ !#"$&%'"()*LY[iKUXY[Tjf^RT$klZ^cdRZeMmR]^TSn$MPOQOSRIZeOQo&pFVqrUaRZ0stLTuwvxkyZ^ceu{z,+VU?k-VUjf^RIO??V[VTa`bV[Zef^RO./%0"()*?????X???d??W?W?&?123?????????H?l?/?S?Q?*?????/???????l?S???&?H?l???S???F?l?r?l?????????????S?????r?S???S?W?(?S???&????*???W?????I??????????S???????I?&?????&???S?*???&?H?*???S?????????y???????W??S????a?*???????S?Q??K???S?m?*?H?l??H?y?W?????^?S???????*?=?F???????W?&?????K???S?m?*?H?l??K?*???????*??/???*???S??????????K???S?m?*?H?l?I?????x????F?/?l???/?S???????S?*?/?l????y??/???????????&???X?=?l????W???W????*?S?r?Q???*?????H?????8?&??K???S?m?*?H?l???H?????H?&???Q???????????*?x????@A?IG?5?2??GI??De?[G???????(???*?????*???&??$???*???????/?l???????d?=??l???????S?????r????*???????S???0???S?????????S?????/??r?&?r?r?l????????????X?S?l?r?????Q???????Q?N?S?e???Q??????????????????????*???S???????????l??????/???S???????????Q???*?x?.?*???S???????????l???[?F?/?l?r?^?*???S?I?????????l??????^???*???????????=???S???r???l???????&???/?????l???/?????m??????S????????S?r???????*?/??????Q????/???????l???S?d???S?/?Q?????S??*?????l??Q?*?????????/?r?