Behnam Sattarzadeh

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Topics

Authentication Protocol

Automatic Analysis

Top Venues

J. Log. Algebraic Methods Program.

Secur. Commun. Networks

Publications

Behnam Sattarzadeh, Mehran S. Fallah
Automated type-based analysis of injective agreement in the presence of compromised principals. J. Log. Algebraic Methods Program. 84 (5) (2015)
Behnam Sattarzadeh, Mehran S. Fallah
Typing secure implementation of authentication protocols in environments with compromised principals. Secur. Commun. Networks 7 (11) (2014)
Behnam Sattarzadeh, Mehran S. Fallah
Is Cryptyc Able to Detect Insider Attacks? Formal Aspects in Security and Trust (2011)
Mahdi Asadpour, Behnam Sattarzadeh, Ali Movaghar
Anonymous authentication protocol for GSM networks. Int. J. Secur. Networks 3 (1) (2008)
Behnam Sattarzadeh, Mahdi Asadpour, Rasool Jalili
Improved User Identity Confidentiality for UMTS Mobile Networks. ECUMN (2007)
Behnam Sattarzadeh, Mahdi Asadpour, Rasool Jalili
Security Enhancement for a Low Computation Cost User Authentication Scheme. SECRYPT (2006)