) using secure charge-sharing symmetric adiabatic logic.

Câncio Monteiro Yasuhiro Takahashi Toshikazu Sekine

Published in: ISCAS (2014)

Keyphrases

logic programming
predicate logic
authentication scheme
lightweight
information sharing
knowledge sharing
multi valued
secure information sharing
security level
epistemic logic
charge coupled devices
information systems
rendezvous search
proof theory
security protocols
security mechanisms
sensitive data