%0 Conference Paper %1 journals/entcs/BravettiGL03 %A Bravetti, Mario %A Gorrieri, Roberto %A Lucchi, Roberto %B SecCo %D 2003 %E Focardi, Riccardo %E Zavattaro, Gianluigi %I Elsevier %K dblp %N 3 %P 54-70 %T A formal approach for checking security properties in SecSpaces. %U http://dblp.uni-trier.de/db/conf/secco/secco2003.html#BravettiGL03 %V 85

@inproceedings{journals/entcs/BravettiGL03, added-at = {2023-08-28T00:00:00.000+0200}, author = {Bravetti, Mario and Gorrieri, Roberto and Lucchi, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2487bb70ec8852faea986ac7fc2cd1376/dblp}, booktitle = {SecCo}, crossref = {conf/secco/2003}, editor = {Focardi, Riccardo and Zavattaro, Gianluigi}, ee = {https://www.wikidata.org/entity/Q115012769}, interhash = {6f774952ccd98d78a900b58e50aba4b2}, intrahash = {487bb70ec8852faea986ac7fc2cd1376}, keywords = {dblp}, number = 3, pages = {54-70}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T02:31:21.000+0200}, title = {A formal approach for checking security properties in SecSpaces.}, url = {http://dblp.uni-trier.de/db/conf/secco/secco2003.html#BravettiGL03}, volume = 85, year = 2003 }