A new proof of an inequality between two secrecy exponents.

Ukyo Michiwaki Yutaka Jitsumatsu

Published in: ISITA (2018)

Keyphrases

theorem prover
key management
linear logic
real time
machine learning
expert systems
theorem proving
security analysis
knowledge base
multi agent
search algorithm
wireless networks
key distribution
security properties
geometry theorem proving