Keywords: تأیید پروتکل; Authentication; Protocol verification; Wireless communication; Mobile communication systems; Denial of service;
مقالات ISI تأیید پروتکل (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Novel availability and integrity verification protocol for ISMAC system under cloud environment
Keywords: تأیید پروتکل; Cloud computing; Protocol verification; Data center; Security and storage; Numerical simulation;
Security protocol specification and verification with AnBx
Keywords: تأیید پروتکل; Protocol specification; Protocol verification; Model-checking; e-payment;
Compositional verification of a communication protocol for a remotely operated aircraft
Keywords: تأیید پروتکل; Protocol verification; Interactive theorem proving; Compositional reasoning
An algorithm to evaluate routing conditions in smartphones-based wireless networks
Keywords: تأیید پروتکل; Network design; Network protocol; Protocol verification; Wireless network; Evolving graph
Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol
Keywords: تأیید پروتکل; Cooperative communications; Finite model-checking; Protocol verification; PROMELA
Verifying a delegation protocol for grid systems
Keywords: تأیید پروتکل; Delegation; Security; Protocol verification; Static analysis; Grid
Some notes on the history of protocol engineering
Keywords: تأیید پروتکل; Protocol engineering; Communication protocols; Computer networks; Formal description techniques; Protocol specification; Protocol verification; Conformance testing; Standardization; Historical developments
Tools for cryptographic protocols analysis: A technical and experimental comparison
Keywords: تأیید پروتکل; Protocol verification; Formal methods; Network-level security and protection;
Improving the security of industrial networks by means of formal verification
Keywords: تأیید پروتکل; Protocol verification; Formal methods; Network-level security and protection
Specifying and verifying interaction protocols in a temporal action logic
Keywords: تأیید پروتکل; Multiagent systems; Temporal logic; Protocol verification;
Energy efficiency and error resilience in coordinated and non-coordinated medium access control protocols
Keywords: تأیید پروتکل; Energy-aware systems; Distributed networks; Wireless communication; Network protocols; Error resilience; Protocol verification; Algorithm/protocol design and analysis; Mobile communication systems; Access schemes
Rule-based Programming in Java For Protocol Verification
Keywords: تأیید پروتکل; Model-checkers; protocol verification; Java; TOM;
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting
Keywords: تأیید پروتکل; Protocol verification; term rewriting; tree automata; rewriting strategy;