Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study

Downloads:

• No text available
• No slides available

BibTeX:

@inproceedings{publication-19,
  author = {da Silva, Geiza Maria Hamazaki and Rademaker, Alexandre and de Vasconcelos, Davi Romero and do Amaral, Fernando N\'{a}ufel and Martins, Carlos Baz\'{i}lio and Costa, Vaston and Haeusler, Edward Hermann},
  title = {Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study},
  booktitle = {Third Australasian Ontology Workshop (AOW 2007)},
  year = {2007},
  publisher = {Australian Computer Society},
  address = {Sydney},
  isbn = {9781920682668},
  file = {:http://crpit.com/abstracts/CRPITV85daSilva.html:HTML}
}