Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache.
Hayato ShimamotoNaoto YanaiShingo OkamuraJason Paul CruzShouei OuTakao OkuboPublished in: IEEE Access (2019)
Keyphrases
- security model
- temporal logic
- security requirements
- access control
- model checking
- public key
- security analysis
- security architecture
- modal logic
- provably secure
- mazurkiewicz traces
- computation tree logic
- verification method
- encryption scheme
- linear temporal logic
- public key cryptography
- smart card
- security policies
- security problems
- information security
- belief revision
- epistemic logic
- web services
- security properties
- data access
- transition systems
- designated verifier
- low cost
- video sequences