• Reference Citation Analysis
  • v
  • v
  • Find an Article
Find an Article (55080193)   Find a Category (126)   Find a Journal (6146)   Find a Scholar (3941)   Find an Academic Assistant (17)
Find an Article PDF (4595230)   Today's Articles (0)   Subscriber (49331)
Citation(s) in RCA

Indexed Articles
Ranked By
Results Analysis
  •   
  •   
  •   
  •   
Results Analysis
Article Statistics
Refine
For: Basagiannis S, Petridou S, Alexiou N, Papadimitriou G, Katsaros P. Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach. Comput Secur 2011. [DOI: 10.1016/j.cose.2011.02.001] [Citation(s) in RCA: 8] [Impact Index Per Article: 0.6] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/18/2022]
Number Cited by Other Article(s)
1
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). J Autom Reason 2017. [DOI: 10.1007/s10817-017-9416-6] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/26/2022]
2
Alexiou N, Basagiannis S, Petridou S. Formal security analysis of near field communication using model checking. Comput Secur 2016. [DOI: 10.1016/j.cose.2016.03.002] [Citation(s) in RCA: 5] [Impact Index Per Article: 0.6] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/22/2022]
PrevPage 1 of 1 1Next
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA