Formal Verification of Bundle Authentication Mechanism in Osgi Service Platform: Ban Logic.
Young-Gab KimChang-Joo MoonDongwon JeongDoo-Kwon BaikPublished in: Int. J. Softw. Eng. Knowl. Eng. (2006)
Keyphrases
- service platform
- formal verification
- authentication mechanism
- authentication protocol
- model checking
- data encryption
- formal analysis
- real estate
- smart card
- secret sharing scheme
- formal methods
- security services
- public key
- security analysis
- development tools
- application server
- lightweight
- secret key
- information systems
- rfid tags
- ad hoc networks
- similarity search