Search Results - "ALDINI, ALESSANDRO"

NONINTERFERENCE ANALYSIS OF REVERSIBLE SYSTEMS: AN APPROACH BASED ON BRANCHING BISIMILARITY.

Authors: ESPOSITO, ANDREA ALDINI, ALESSANDRO BERNARDO, MARCO et al.

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-28, 28p

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.

Subjects: Intention, Multiagent systems, Attitude (Psychology), Privacy, Official secrets, Behavioral sciences, Awareness

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

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

Modeling and verification of trust and reputation systems.

Authors: Aldini, Alessandro¹

Source: Security & Communication Networks; Nov2015, Vol. 8 Issue 16, p2933-2946, 14p

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.

Subjects: Android (Operating system), Mobile apps, Statistics, Malware

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

Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology.

Authors: Amura, Annamaria Aldini, Alessandro Pagnotta, Stefano et al.

Source: Journal of Imaging; Mar2021, Vol. 7 Issue 3, p1-17, 17p

Towards attack-resistant Aggregate Computing using trust mechanisms.

Authors: Casadei, Roberto Aldini, Alessandro Viroli, Mirko

Source: Science of Computer Programming. Dec2018, Vol. 167, p114-137. 24p.

Subjects: Cyberterrorism, Internet of things, Computer software execution, Algorithms, Pattern recognition systems, Peer-to-peer architecture (Computer networks)

Design and Verification of Trusted Collective Adaptive Systems.

Authors: Aldini, Alessandro

Source: ACM Transactions on Modeling & Computer Simulation; 2018, Vol. 28 Issue 2, p1-27, 27p

A formal approach to the integrated analysis of security and QoS

Authors: Aldini, Alessandro Bernardo, Marco

Source: Reliability Engineering & System Safety. Nov2007, Vol. 92 Issue 11, p1503-1520. 18p.

Subjects: Methodology, Quality of service, Quality control, Reliability in engineering, Statistical process control

Classification of security properties in a Linda-like process algebra

Authors: Aldini, Alessandro¹ http://www.sti.uniurb.it/aldini

Source: Science of Computer Programming. Nov2006, Vol. 63 Issue 1, p16-38. 23p.

Subjects: Algebra, Mathematical analysis, Distributed computing, Mathematics

Component-oriented verification of noninterference

Authors: Aldini, Alessandro Bernardo, Marco

Source: Journal of Systems Architecture. Mar2011, Vol. 57 Issue 3, p282-293. 12p.

Subjects: Computer software, Software engineering, Component software, Software verification, Algebra, Computer systems, Computer security

Mixing logics and rewards for the component-oriented specification of performance measures

Authors: Aldini, Alessandro Bernardo, Marco

Source: Theoretical Computer Science. Aug2007, Vol. 382 Issue 1, p3-23. 21p.

Subjects: Stochastic processes, Algebra, Markov processes, Computer science research, Mathematical analysis

On the usability of process algebra: An architectural view

Authors: Aldini, Alessandro Bernardo, Marco

Source: Theoretical Computer Science. May2005, Vol. 335 Issue 2/3, p281-329. 49p.

Subjects: Mathematics, Algebra, Mathematical analysis, Systems design

Approximating Markovian testing equivalence

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

Source: Theoretical Computer Science. Jan2012, Vol. 413 Issue 1, p73-86. 14p.

Subjects: Algebraic topology, Markov processes, Orthogonal functions, Approximation theory, Bisimulation, Model theory

Detection of repackaged mobile applications through a collaborative approach.

Authors: Aldini, Alessandro Martinelli, Fabio Saracino, Andrea et al.

Source: Concurrency & Computation: Practice & Experience; Aug2015, Vol. 27 Issue 11, p2818-2838, 21p

A probabilistic modal logic for context-aware trust based on evidence.

Authors: Aldini, Alessandro Curzi, Gianluca Graziani, Pierluigi et al.

Source: International Journal of Approximate Reasoning. Jun2024, Vol. 169, pN.PAG-N.PAG. 1p.