qContains the post-proceedings of the second international Workshop on Formal Aspects in Security and Trust (FAST2004), held in Toulouse, 26-27 August 2004. FAST is an event of the 18th IFIP World Computer Congress (WCC2004) and is under the auspices of IFIP WG1.7 on 'Foundations of security analysis and design'q--p. [v].IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France Theo ... France Abstract Current firewall configuration languages have no well founded semantics.
|Title||:||Formal Aspects in Security and Trust|
|Author||:||Theo Dimitrakos, Fabio Martinelli|
|Publisher||:||Springer Science & Business Media - 2005-01-19|