Linicrypt in the Ideal Cipher Model.

Zahra Javar Bruce M. Kapron

Published in: ProvSec (2023)

Keyphrases

computational model
cost function
mathematical model
database
high level
expert systems
management system
parameter estimation
real time
bayesian networks
probabilistic model
theoretical analysis
statistical model
sensitivity analysis
simulation model
formal model