@inproceedings{OrBACFast, 
 author = {Fr\'ed\'eric Cuppens and Nora Cuppens-Boulahia and Thierry Sans and Alexandre Mi\`ege},
 title = {{A formal approach to specify and deploy a network security policy}},
 booktitle = {Second Workshop on Formal Aspects in Security and Trust (FAST)},
 year = {2004}
 adress = {Toulouse, France},
 month = {26-27 August},
}