NetBill Security and Transaction Protocol.
Benjamin CoxPublished in: USENIX Workshop on Electronic Commerce (1995)
Keyphrases
- secure electronic
- security requirements
- mobile payment
- security mechanisms
- cryptographic protocols
- security protocols
- security analysis
- trusted third party
- authentication protocol
- key agreement protocol
- security properties
- concurrency control protocols
- high security
- ban logic
- information security
- security policies
- security model
- provably secure
- database transactions
- key exchange protocol
- smart card
- database
- denial of service attacks
- communication protocols
- rfid systems
- intrusion detection
- lightweight
- mutual authentication
- deadlock free
- security issues
- electronic transactions
- security services
- mobile agent system
- key agreement
- credit card
- formal analysis
- access control
- elliptic curve
- network security
- correctness criterion
- commit protocols
- payment protocol
- secure multiparty computation
- protocol specification
- contractual obligations
- trust negotiation
- transaction model
- electronic voting
- locking protocol
- physical layer
- key distribution
- transaction processing
- secure routing
- concurrency control
- payment systems
- secure communication
- key management
- public key
- virtual private network
- electronic commerce