A blocker-proof conditional access system.

Alfredo De Santis Claudio Soriente

Published in: IEEE Trans. Consumer Electron. (2004)

Keyphrases

access control
databases
theorem prover
neural network
theorem proving
linear logic