Search Results - "Aldini, Alessandro"

From belief to trust: A quantitative framework based on modal logic.

Authors: Tagliaferri, Mirko Aldini, Alessandro

Source: Journal of Logic & Computation; Sep2022, Vol. 32 Issue 6, p1017-1047, 31p

A logical perspective on intending to keep a true secret.

Authors: Aldini, Alessandro Fazio, Davide Graziani, Pierluigi et al.

Source: Journal of Logic & Computation; Jul2025, Vol. 35 Issue 5, p1-29, 29p

On the modeling and verification of the spread of fake news, algebraically.

Authors: Aldini, Alessandro¹, alessandro.aldini@uniurb.it

Source: Journal of Logic & Computation; Sep2022, Vol. 32 Issue 6, p1272-1291, 20p

Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices.

Authors: Aldini, Alessandro La Marra, Antonio Martinelli, Fabio et al.

Source: Soft Computing - A Fusion of Foundations, Methodologies & Applications; Feb2021, Vol. 25 Issue 3, p2295-2314, 20p

Estimating the maximum information leakage.

Authors: Aldini, Alessandro Pierro, Alessandra

Source: International Journal of Information Security; Jun2008, Vol. 7 Issue 3, p219-242, 24p, 11 Diagrams

A process‐algebraic approach for the analysis of probabilistic noninterference.

Authors: Aldini, Alessandro Bravetti, Mario Gorrieri, Roberto

Source: Journal of Computer Security; 2004, Vol. 12 Issue 2, p191-245, 55p, 15 Diagrams, 4 Charts

QoS evaluation of IP telephony services: a specification language based simulation software tool.

Authors: Roccetti, Marco Aldini, Alessandro Bernardo, Marco et al.

Source: Systems Analysis Modelling Simulation; Dec2003, Vol. 43 Issue 12, p1747-1759, 13p, 3 Diagrams, 1 Chart, 2 Graphs

In vitro corrosion investigations of plasma-sprayed hydroxyapatite and hydroxyapatite-calcium phosphate coatings on 316L SS.

Authors: Singh, Gurpreet Singh, Hazoor Sidhu, Buta

Source: Bulletin of Materials Science. Oct2014, Vol. 37 Issue 6, p1519-1528. 10p.