Security Analysis of a Probabilistic Non-repudiation Protocol-Reference-Cited by-同舟云学术

Security Analysis of a Probabilistic Non-repudiation Protocol

Published:2002 Issue: Volume: Page:17-36
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Aldini Alessandro,Gorrieri Roberto

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45605-8_3

Reference23 articles.

1. Lect Notes Comput Sci;A. Aldini,2001

2. A. Aldini, “On the Extension of Non-interference with Probabilities”, 2nd ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security, 2002

3. A. Aldini, M. Bravetti, “An Asynchronous Calculus for Generative-Reactive Probabilistic Systems”, in Proc. of the 8th Int. Workshop on Process Algebra and Performance Modeling, pp. 591–605, Carleton Scientific, 2000

4. A. Aldini, M. Bravetti, R. Gorrieri, “A Process Algebraic Approach for the Analysis of Probabilistic Non-interference”, Technical Report UBLCS-2002-2, University of Bologna, Italy, 2002, ftp://ftp.cs.unibo.it/pub/techreports/

5. Lect Notes Comput Sci;C. Baier,1997

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Beauty and the Beast: Sok on Process Algebras and Cybersecurity;2024

2. Fairness analysis of extra-gain guilty of a non-repudiation protocol;Frontiers of Information Technology & Electronic Engineering;2022-06

3. Introducing Probabilities in Controller Strategies;Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance;2015

4. Trading Dependability and Performance;A Process Algebraic Approach to Software Architecture Design;2009-10-03

5. Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking;Information Systems Security;2009