@InProceedings{ frau.ea:integrated:2011, address = {Los Alamitos, CA, USA}, author = {Simone Frau and Mohammad Torabi Dashti}, booktitle = {IEEE 24th Computer Security Foundations Symposium (CSF 2011)}, copyright = {IEEE}, copyrighturl = {http://www.computer.org/portal/web/csdl/doi/10.1109/CSF.2011.9} , isbn = {978-0-7695-4365-9}, language = {USenglish}, month = {June}, pages = {18--32}, publisher = {IEEE Computer Society}, title = {Integrated specification and verification of security protocols and policies }, url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2011.9}, year = 2011, user = {bgeiser} }