فهرست مطالب hamidreza mahrooghi

The purpose of this study was to compare the effectiveness of attention amplification and memory amplification on verbal fluency and information processing speed students with dyslexia. This semi-experimental research was an applicable study according to the aim of the study. The population included all dyslexic students referred to the Learning Disorder Center of Khayami in Neyshabur City during March-September 2019 (n=150, girl=70, and boy=80). A sample (n=43, girl=21, boy=22) was selected using available sampling method, and were randomly divided into three groups of attention amplification (n=14), memory amplification (n=14), and control (n=14) groups. Participants were evaluated with both standard reading and dyslexia questionnaires of NAMA (for dyslexia assessment), the letters and signs test (for verbal fluency assessment), and Wechsler Scale (WISC) in pre-post and post-test phase, and also 3 months following the intervention. Data were analyzed using repeated measures ANCOVA in SPSS20 software. In verbal fluency, results showed significant difference in attention- amplification group with a mean difference of 13.92; and in the memory-amplification group with a mean difference of 8.34 compared to the control group (P <0.05). There was a significant difference between the speed of information processing in attention-amplification with a mean difference of 9.65; and memory-amplification with a mean difference of 11.99 compared to the control group (P <0.05). Therefore, according to the findings, attention and memory amplification programs seem to be effective in improving verbal fluency and information processing speed in student with dyslexia.

Nowadays, with the widespread growth of mobile devices and their usages in most people’s daily lives, a main concerns is handling and responding their related security incidents in the area of mobile network traffic analysis. The main objectives of security researchers include mobile application identification, mobile malware detection and user’s personal information leakage. Identification and traffic analysis of mobile devices is more difficult than other network devices like traditional ones due to their dynamic nature. Although a lot of research has been done in this area, most of them are not efficient for identifying in real traffic due to challenges such as encrypted traffic and data manipulation. In this paper, we propose a trust-based mobile traffic detection system which is able to handle various real traffic. The proposed framework consists of four detection subsystems. First, the environment identification subsystem examines validity of the information for each network layer. If the information of each layer is valid, then traffic is sent to the detection subsystem. After detection of each subsystems, the final detection is performed according to the obtained factors in each subsystem. For the evaluation purposes, a suitable dataset is used which is collected from wireless network traffic of Ferdowsi University of Mashhad campus in Mashhad, Iran. The experimental results show that aggregation of subsystem detection based on trust and confidence is efficient in analyzing real mobile traffic with maximum accuracy, 0.97, and minimum error rate, 0.09, under special circumstances.

CryptoPAi is a hybrid operational-epistemic framework for specification and analysis of security protocols with genuine support for cryptographic constructs. This framework includes a process algebraic formalism for the operational specification and an epistemic extension of modal mu-calculus with past for the property specification. In this paper, we extend CryptoPAi framework with more cryptographic constructs. The main practical motivation for this work came from the domain of e-voting protocols and then we investigate the applicability of the extended framework in this domain. The framework provides explicit support for cryptographic constructs, which is among the most essential ingredients of security and e-voting protocols. Some more advanced cryptographic constructs are provided to allow specifying the behavior ofmore protocols in our process language and then verifying properties expressed in our logic with both temporal and epistemic operators.We apply our extended framework to the FOO e-voting protocol. We also promote the prototype model-checker of the framework in the Maude rewriting logic tool and apply it to model-check some specified properties on their corresponding models.