Noninterference Analysis of Reversible Probabilistic Systems. Esposito, A., Aldini, A., & Bernardo, M. In Proc. of the 44th Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024), volume LNCS 14678, pages 39–59, Groningen (The Netherlands), June, 2024. Springer.
![Noninterference Analysis of Reversible Probabilistic Systems [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper doi bibtex
Paper doi bibtex @inproceedings{EAB24,
author = {A. Esposito and A. Aldini and M. Bernardo},
title = {Noninterference Analysis of Reversible Probabilistic Systems},
booktitle = {Proc. of the 44th Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)},
publisher = {Springer},
volume = {LNCS 14678},
pages = {39--59},
address = {Groningen (The Netherlands)},
month = {June},
year = {2024},
url = {./EAB24.pdf},
doi = {10.1007/978-3-031-62645-6_3},
}Downloads: 0
{"_id":"FSPmZRLbF4LkLrpQ7","bibbaseid":"esposito-aldini-bernardo-noninterferenceanalysisofreversibleprobabilisticsystems-2024","author_short":["Esposito, A.","Aldini, A.","Bernardo, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["A."],"propositions":[],"lastnames":["Esposito"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Aldini"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Bernardo"],"suffixes":[]}],"title":"Noninterference Analysis of Reversible Probabilistic Systems","booktitle":"Proc. of the 44th Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)","publisher":"Springer","volume":"LNCS 14678","pages":"39–59","address":"Groningen (The Netherlands)","month":"June","year":"2024","url":"./EAB24.pdf","doi":"10.1007/978-3-031-62645-6_3","bibtex":"@inproceedings{EAB24,\nauthor = {A. Esposito and A. Aldini and M. Bernardo},\ntitle = {Noninterference Analysis of Reversible Probabilistic Systems},\nbooktitle = {Proc. of the 44th Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)},\npublisher = {Springer},\nvolume = {LNCS 14678},\npages = {39--59},\naddress = {Groningen (The Netherlands)},\nmonth = {June},\nyear = {2024},\nurl = {./EAB24.pdf},\ndoi = {10.1007/978-3-031-62645-6_3},\n}\n\n","author_short":["Esposito, A.","Aldini, A.","Bernardo, M."],"key":"EAB24","id":"EAB24","bibbaseid":"esposito-aldini-bernardo-noninterferenceanalysisofreversibleprobabilisticsystems-2024","role":"author","urls":{"Paper":"http://www.sti.uniurb.it/nirvana/files/papers/EAB24.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.sti.uniurb.it/nirvana/files/papers/biblio.bib","dataSources":["dvDgwv4efmr6Tw5FJ","sFPYuvJvmfSGv3tNR","LKF5GrArEwYvw4nAL"],"keywords":[],"search_terms":["noninterference","analysis","reversible","probabilistic","systems","esposito","aldini","bernardo"],"title":"Noninterference Analysis of Reversible Probabilistic Systems","year":2024}