A Generic Algebraic Model for the Analysis of Cryptographic-Key Assignment Schemes

Automated Verification Of Role-Based Access Control Policies Constraints Using Prover9

“…Several researchers use Prover9 in their formal analysis. For example, Sabri and Khedri [6,7,8] use Prover9 in verifying security properties at an abstract level in systems that use key assignment schemes. Cunha and Macedo [9] present a framework for unbounded verification of Alloy specifications using the automatic theorem prover Prover9.…”

Algebraic Analysis of Object-Based Key Assignment Schemes

“…These techniques provide a way to implement the relation k 1 > k 2 through key derivation i.e., deriving the key k 2 from the key k 1 . Other researchers focus on analysing these techniques and comparing them [16], [7]. Others use key derivation to provide confidentiality in data outsourcing [17], [18].…”

“…Assume that the secret to be encrypted is the word security. (6,8), (7,4), (8,7)} which indicates that the first alphabet of the secret should be moved into the third position, the second alphabet into the fifth position and so on. The key should be a bijective function with a length equal to that of the secret.…”

“…Several techniques are proposed in the literature to derive a key from another one as in [5], [6]. In [7], we introduce an algebraic model that links several techniques together to specify and analyse key-based schemes.…”