From secured logic to IP protection.

Brice Colombier Lilian Bossuet David Hély

Published in: Microprocess. Microsystems (2016)

Keyphrases

information security
information systems
classical logic
logic programming
multi valued
defeasible logic
database
modal logic
ip address
real time
programming language
logical framework
predicate logic
asynchronous circuits