154 citations
- Institute for Research in Fundamental SciencesIR12 papers
- Institute for Cognitive Science StudiesIR7 papers
- Sharif University of TechnologyIR5 papers
- Islamic Azad University, Science and Research BranchIR4 papers
- Alzahra UniversityIR3 papers
- Shahid Beheshti UniversityIR3 papers
- University of IsfahanIR3 papers
- Ferdowsi University of MashhadIR2 papers
- Islamic Azad University of ShahrezaIR2 papers
- Max Planck Institute for Gravitational PhysicsDE2 papers
- National University of Sciences and TechnologyPK2 papers
- Tarbiat Modares UniversityIR2 papers
5 papers · 1 filter
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
Luca Aceto, Matteo Cimini, Anna Ingolfsdottir +3
In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide the formal semantics…
Solutions of the bound state Faddeev-Yakubovsky equations in three dimensions by using NN and 3N potential models
M. R. Hadizadeh, Lauro Tomio, S. Bayegan
A recently developed three-dimensional approach (without partial-wave decomposition) is considered to investigate solutions of Faddeev-Yakubovsky integral equations in momentum spa…
Cognitive Multiple Access Network with Outage Margin in the Primary System
Behrouz Maham, Petar Popovski, Xiangyun Zhou +1
This paper investigates the problem of spectrally efficient operation of a multiuser uplink cognitive radio system in the presence of a single primary link. The secondary system ap…
Cryptanalysis of two mutual authentication protocols for low-cost RFID
Mohammad Hassan Habibi, Mahmoud Gardeshi, Mahdi R. Alaghband
Radio Frequency Identification (RFID) is appearing as a favorite technology for automated identification, which can be widely applied to many applications such as e-passport, suppl…
Practical Attacks on a RFID Authentication Protocol Conforming to EPC C-1 G-2 Standard
Mohammad Hassan Habibi, Mahmud Gardeshi, Mahdi R. Alaghband
Yeh et al. recently have proposed a mutual authentication protocol based on EPC Class-1 Gen.-2 standard [1]. They have claimed that their protocol is secure against adversarial att…