DCapBAC: embedding authorization logic into smart things through ECC optimizations.
José Luis Hernández RamosAntonio J. JaraLeandro MarínAntonio F. Skarmeta-GómezPublished in: Int. J. Comput. Math. (2016)
Keyphrases
- access control
- logic programming
- modal logic
- automated reasoning
- error correction
- elliptic curve
- elliptic curve cryptography
- error correcting
- classical logic
- fine grained
- vector space
- predicate logic
- watermarking algorithm
- proof theory
- security analysis
- multi valued
- neural network
- conflict resolution
- high dimensional