A Process Algebraic Approach to Software Architecture Design

Springer, ISBN: 978-1-84800-222-7

- Process algebra
- Behavioral equivalences
- Logics
- Noninterference
- Approximate noninterference
- Verification of systems
- Secure software systems
- Trust
- Church Turing thesis

A. Aldini

"A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems"

Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST'16), EPTCS 217, pp. 19-30, Vienna, Austria, 2016.

A. Aldini

"A Calculus for Trust and Reputation Systems" - pdf

8th IFIP WG 11.11 International Conference on Trust Management, J. Zhou et al. (Eds.),
IFIP AICT 430, pp. 173-188, Springer, Singapore, July 2014.

M. Bernardo, E. Bontà, A. Aldini

"Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation"

The Journal of Systems & Software 83(8):1404-1429, Elsevier, August 2010.

A. Aldini, M. Bernardo

"On the Usability of Process Algebra: An Architectural View" - pdf

Journal of Theoretical Computer Science 335(2-3):281-329, Elsevier, May 2005.

M. Bravetti, A. Aldini

"Discrete Time Generative-reactive Probabilistic Processes with Different Advancing Speeds" -
ps.gz

Journal of Theoretical Computer Science 290(1):355-406, Elsevier, January 2003.

M. Bravetti, A. Aldini

"Expressing Processes with Different Action Durations through Probabilities"

1st Joint Int. Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification (PAPM-PROBMIV'01), Springer LNCS 2165:168-183, Aachen, Germany, September 2001.

M. Bravetti, A. Aldini

"Non-determinism in Probabilistic Timed Systems with General Distributions"

MTCS 2001: Models for Time-Critical Systems, ENTCS 52.3, Aalborg, Denmark, August 2001.

A. Aldini, M. Bravetti

"An Asynchronous Calculus for Generative-Reactive Probabilistic Systems"

8th Int. Workshop on Process Algebra and Performance Modeling (PAPM'00), Carleton Scientific, pp. 591-605, Geneve (Switzerland), July 2000.

A. Aldini, M. Bernardo

"Expected-Delay-Summing Weak Bisimilarity for Markov Automata" - pdf

13th Workshop on Quantitative Aspects of Programming Languages (QAPL'15),
EPTCS 194:1-15, London (UK), April 2015.

A. Aldini

"Approximating Markovian Testing Equivalence" - pdf

Journal of Theoretical Computer Science 413(1):73-86, Elsevier, January 2012.

A. Aldini

"Behavioral Equivalences and Approximations" - pdf - slides

12th Italian Conference on Theoretical Computer Science (ICTCS'10), Camerino (Italia), September 2010.

A. Aldini

"Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior" - pdf - slides

Eighth Workshop on Quantitative Aspects of Programming Languages
(QAPL'10), EPTCS 28, Paphos (Cyprus), March 2010.

A. Aldini, M. Bernardo

"Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems"
- pdf

Architecting Dependable Systems 6, R. de Lemos et al., eds.,
Springer LNCS 5835:228-254, 2009.

A. Aldini

"A Note on the Approximation of Weak Probabilistic Bisimulation" -
pdf - slides

Seventh Workshop on Quantitative Aspects of Programming Languages
(QAPL'09), York (UK), March 2009.

M. Bernardo, A. Aldini

"Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions" -
ps

Tenth Italian Conference on Theoretical Computer Science (ICTCS'07) World Scientific, pp. 39-56,
Roma (Italy), October 2007.

A. Aldini, M. Bernardo, J. Sproston

"Performability Measure Specification: Combining CSRL and MSL" -
pdf

16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11), LNCS 6959:165-179, Springer, Trento (Italy), August 2011.

A. Aldini, M. Bernardo

"Mixing Logics and Rewards for the Component-oriented Specification of Performance Measures" - pdf

Journal of Theoretical Computer Science 382(1):3-23, Special Issue on Quantitative Aspects of Programming
Languages, August 2007.

A. Aldini, M. Bernardo

"Component-Oriented Specification of Performance Measures" - pdf

4th Workshop on Quantitative Aspects of Programming Languages (QAPL'06),
ENTCS 164:27-43, Vienna (Austria), March 2006.

A. Aldini, M. Bernardo

"Component-Oriented Verification of Noninterference" - pdf

Journal of Systems Architecture 57:282-293, Elsevier, March 2011.

A. Aldini, M. Bernardo

"A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference" -
pdf - slides

Joint Workshops on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
(ARSPA-WITS'09), LNCS 5511:18-33, Springer, York (UK), March 2009.

A. Aldini

"Classification of Security Properties in a Linda-like Process Algebra" -
pdf

Journal of Science of Computer Programming, Special Issue on Security Issues in Coordination Models,
Languages and Systems 63(1):16-38, Elsevier, November 2006.

A. Troina, A. Aldini, R. Gorrieri

"Towards a Formal Treatment of Secrecy against Computational Adversaries" -
pdf

Global Computing: Programming Environments, Languages, Security and Analysis of Systems, C. Priami and P. Quaglia, eds., LNCS 3267:77-92, Springer, February 2005.

A. Aldini, M. Bravetti, R. Gorrieri

"A Process-algebraic Approach for the Analysis of Probabilistic Non-interference" - ps

Journal of Computer Security 12(2):191-245, IOS Press, March 2004.

A. Aldini

"Coordination Model and Noninterference"

1st Int. Workshop on Security Issues in Coordination Models, Languages, and Systems (SECCO'03), Eindhoven University of Technology (the Netherlands), June 2003, ENTCS 85.3, 2003.

A. Troina, A. Aldini, R. Gorrieri

"A Probabilistic Formulation of Imperfect Cryptography"

1st Int. Workshop on Issues in Security and Petri Nets (WISP'03), Eindhoven University of Technology (the Netherlands), June 2003.

A. Aldini

"On the Extension of Non-interference with Probabilities" - ps.gz

2nd ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'02), Portland, OR (USA), January 2002.

A. Aldini

"Probabilistic Information Flow in a Process Algebra" - pdf

12th Int. Conference on Concurrency Theory (CONCUR'01), Springer LNCS 2154:152-168, Aalborg, Denmark, August 2001.

A. Aldini, A. Di Pierro

"Estimating the Maximum Information Leakage" -
pdf

International Journal of Information Security 7(3):219-242, Springer, June 2008.

A. Aldini, A. Di Pierro

"Noninterference and the Most Powerful Probabilistic Adversary" - ps

6th Int. Workshop on Issues in the Theory of Security (WITS'06), Vienna (Austria), March 2006.

A. Aldini, A. Di Pierro

"A Quantitative Approach to Noninterference for Probabilistic Systems" - pdf

Selected papers from MIUR project Mefisto,
ENTCS 99,
pp. 155-182, August 2004.

A. Troina, A. Aldini, R. Gorrieri

"Approximating Imperfect Cryptography in a Formal Model" - pdf

Selected papers from MIUR project Mefisto,
ENTCS 99,
pp. 183-203, August 2004.

A. Aldini, A. Di Pierro

"On Quantitative Analysis of Probabilistic Protocols" - pdf

2nd Workshop on Quantitative Aspects of Programming Languages (QAPL'04), ENTCS 112:131-148, Barcelona
(Spain), March 2004.

A. Aldini, M. Bravetti, A. Di Pierro, R. Gorrieri, C. Hankin, H. Wiklicky

Two Formal Approaches for Approximating Noninterference Properties - pdf

Foundations of Security Analysis and Design II, R. Focardi and R. Gorrieri, eds., LNCS
2946:
1-43, Springer, January 2004.

A. Aldini, M. Bernardo

"A Formal Approach to the Integrated Analysis of Security and QoS" - pdf

Journal of Reliability Engineering & System Safety 92(11):1503-1520, Elsevier, November 2007.

M. Bernardo, A. Bogliolo, A. Acquaviva, A. Aldini, E. Bontà, E. Lattanzi

"Predicting the Functional/Performance Impact of Dynamic Power Management"

7th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 7), pp. 10-13,
Torino (Italy), September 2005.

A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bontà, E. Lattanzi

"A Formal Method Based Methodology for Predicting the Impact of Dynamic Power Management" -
pdf

Formal Methods for Mobile Computing, M. Bernardo and A. Bogliolo, eds., LNCS
3465:
155-189, Springer, April 2005.

A. Aldini, M. Bernardo

"TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation"

1st International Conference on Quantitative Evaluation of Systems (QEST'04), IEEE Computer Society Press,
pp. 336-337, Enschede (The Netherlands), September 2004.

A. Aldini, M. Bernardo

"An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth" - ps

23rd Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP'04), Springer LNCS 3219:283-296,
Potsdam (Germany), September 2004.

A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bontà, E. Lattanzi

"Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered
iAppliances" - ps

5th Int. Conf. on Dependable Systems and Networks (DSN'04) - Performance and Dependability Symposium,
IEEE CS Press, pp. 731-740, Firenze (Italy), June 2004.

A. Aldini, R. Gorrieri

"A Study About Trade-off Between Performance and Security in an Internet Audio Mechanism" -
pdf

Global Computing: Programming Environments, Languages, Security and Analysis of Systems, C. Priami, ed.,
LNCS 2874:203-228, Springer, December 2003.

M. Roccetti, A. Aldini, M. Bernardo, R. Gorrieri

"QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool"
- pdf

Journal of Systems Analysis Modelling Simulation 43(12):1747-1759, Taylor and Francis Pub., December 2003.

A. Aldini, M. Bernardo

"A General Approach to Deadlock Freedom Verification for Software Architectures" -
ps.gz

FM 2003: the 12th Int. FME Symposium, Springer LNCS 2805:658-677, Pisa (Italy), September 2003.

A. Aldini, R. Gorrieri

"Security Analysis of a Probabilistic Non-repudiation Protocol"

2nd Joint Int. Workshop on Process Algebra and Performance Modelling,
Probabilistic Methods in Verification (PAPM-PROBMIV'02),
Springer LNCS 2399:17-36,
Copenhagen (Denmark), July 2002.

A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti

"Comparing the QoS of Internet Audio Mechanisms via Formal Methods" -
ps

Journal of Transactions on Modeling and Computer Simulation 11(1):1-42, ACM Press, January 2001.

A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti

"A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods"

11th European Simulation Symposium (ESS'99), Society for Computer Simulation International, pp. 281-288, Erlangen (Germany), October 1999.

A. Aldini, M. Bernardo, R. Gorrieri

"An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking"

7th Int. Workshop on Process Algebra and Performance Modeling (PAPM'99), Prensas Universitarias de Zaragoza,
pp. 119-138, Zaragoza (Spain), September 1999.

A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti

"Stochastic Process Algebras for the Analysis of Internet Protocols"

4th Workshop on Distributed Systems: Algorithms, Architectures and Languages (WSDAAL'99), pp. 6-7, Fonte Cerreto (Italy), September 1999.

A. Aldini, F. Martinelli, A. Saracino, D. Sgandurra

"Detection of Repackaged Mobile Applications through a Collaborative Approach"
- pdf

Concurrency and Computation: Practice and Experience, vol. 27 n. 11, pp. 2818-2838,
Wiley, August 2015.

A. Aldini, F. Martinelli, A. Saracino, D. Sgandurra

"A Collaborative Framework for Generating Probabilistic Contracts" (**Springer runner-up prize for outstanding paper award 2013**)

International Conference on Collaboration Technologies and Systems (CTS 2013),
IEEE, pp. 139-143, San Diego, CA, May 2013.

A. Aldini, M. Roccetti, R. Gorrieri

"On Securing Real Time Speech Transmission over the Internet: An Experimental Study" - pdf

EURASIP Journal on Applied Signal Processing, Special Issue on Digital Audio for Multimedia Communications 2003(10):1027-1042, Hindawi Publishing Corporation, September 2003.

A. Aldini, A. Amoroso, M. Roccetti

"A Secure Protocol for Voice-Operated E-Commerce Systems over IP Networks" -
ps

Journal of Pure and Applied Mathematics 4(2):121-142, Academic Publications, January 2003.

A. Aldini, R. Gorrieri, M. Roccetti

"An Adaptive Mechanism for Real-time Secure Speech Transmission over the Internet"

2nd IP-Telephony Workshop, Columbia University, pp. 64-72, New York City, NY (USA), April 2001.

A. Aldini

"Modeling and Verification of Trust and Reputation Systems"
- pdf

Journal of Security and Communication Networks, vol. 8 n. 16, pp. 2933-2946, Wiley, October 2015.

A. Aldini, J.-M. Seigneur, C. Ballester Lafuente, X. Titi, J. Guislain

"Formal Modeling and Verification of Opportunity-enabled Risk Management"
- pdf

Symposium on Recent Advances of Trust, Security and Privacy in
Computing and Communications (RATSP), 2015 IEEE Trustcom/BigDataSE/ISPA,
pp. 676-684, IEEE CS Press, Helsinki, August 2015.

A. Aldini

"A Framework Balancing Privacy and Cooperation Incentives in User-Centric Networks"
- pdf

International Journal On Advances in Security, vol. 8 n. 1&2, pp. 16-27, June 2015.

A. Aldini

"Saving Privacy in Trust-Based User-Centric Distributed Systems" (**best paper award**)

8th International Conference on Emerging Security Information, Systems and Technologies
(SECURWARE'14), pp. 76-81, Lisbon (Portugal), November 2014.

A. Aldini, A. Bogliolo, C. Ballester Lafuente, J.-M. Seigneur

"On the Tradeoff Among Trust, Privacy, and Cost in Incentive-Based Networks"
- pdf

8th IFIP WG 11.11 International Conference on Trust Management,
J. Zhou et al. (Eds.), IFIP AICT 430, pp. 205-212, Springer, Singapore, July 2014.

A. Aldini, A. Bogliolo

"Modeling and Verification of Cooperation Incentive Mechanisms in User-
Centric Wireless Communications"
- pdf

Security, Privacy, Trust, and Resource Management in Mobile
and Wireless Communications, D. Rawat, B. Bista, and G. Yan, eds., IGI Global, pp. 432-461, 2014.

A. Aldini

"Formal Approach to Design and Automatic Verification of Cooperation-Based Networks"
- pdf

International Journal On Advances in Internet Technology 6 n. 1&2, pp. 42-56, June 2013.

A. Aldini, A. Bogliolo

"Trading Performance and Cooperation Incentives in User-Centric Networks"

International Workshop on Quantitative Aspects in Security Assurance (QASA'12),
Pisa (Italy), September 2012.

A. Bogliolo, P. Polidori, A. Aldini, W. Moreira, P. Mendes, M. Yildiz,
C. Ballester, J.-M. Seigneur

"Virtual Currency and Reputation-Based Cooperation Incentives in User-Centric Networks"

8th International Wireless Communications and Mobile Computing Conference (IWCMC-2012),
IEEE, pp. 895-900, Limassol (Cyprus), August 2012.

A. Aldini, A. Bogliolo

"Model Checking of Trust-Based User-Centric Cooperative Networks" (**best paper award**)

4th International Conference on Advances in Future Internet (AFIN2012),
pp. 32-41, Rome (Italy), August 2012.

A. Aldini, V. Fano, P. Graziani

"Do the self-knowing machines dream of knowing their factivity?"
- pdf

3rd International Workshop on Artificial Intelligence and Cognition (AIC'15),
CEUR Workshop Proceedings, Vol-1510, pp.125-132, Torino (Italy), September 2015.

A. Aldini, V. Fano, P. Graziani

"A Note on Knowing Machines"

Preliminary Proceedings of the 3rd International Conference on the History and
Philosophy of Computing (HaPoC'15), Pisa University Press, pp. 15-17, Pisa (Italy),
October 2015.