Vitaly Shmatikov, editor, Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008. ACM, 2008.
Conference: ccs
@proceedings{ccs:2008fmse, title = {Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008}, year = {2008}, tags = {security}, researchr = {https://researchr.org/publication/ccs%3A2008fmse}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008}, editor = {Vitaly Shmatikov}, publisher = {ACM}, isbn = {978-1-60558-288-7}, }