نمایش نتایج جستجو برای
نام مجله: ISeCure
موارد یافت شده: 9
1 - On the Suitability of Improved TrustChain for Smartphones (چکیده)2 - Towards Event Aggregation for Reducing the Volume of Logged Events During IKC Stages of APT Attacks (چکیده)
3 - Extension of Cube Attack with Probabilistic Equations and its Application on Cryptanalysis of KATAN Cipher. (چکیده)
4 - A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving (چکیده)
5 - A Computational Model and Convergence Theorem for Rumor Dissemination in Social Networks (چکیده)
6 - Process Algebraic Modeling of Authentication Protocols for Analysis of Parallel Multi-Session Executions (چکیده)
7 - Design and Formal Verification of DZMBE+ (چکیده)
8 - A Confidence-Aware Interval-based Trust Model (چکیده)
9 - SEIMCHA: A New Semantic Image CAPTCHA Using Geometric Transformations (چکیده)
