A Formal Analysis for RSA Attacks by Term Rewriting Systems.

Mohammad Kadkhoda Anis Vosoogh Reza Nourmandi-Pour

Published in: SOFA (1) (2014)

Keyphrases

formal analysis
term rewriting systems
cryptographic algorithms
functional programs
logic programs
formal methods
agent model
security protocols
public key
signature scheme
security mechanisms
watermarking scheme
ban logic
artificial intelligence
elliptic curve cryptography
security issues
expert systems