Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency.
Isaac C. SheffTom MagrinoJed LiuAndrew C. MyersRobbert van RenessePublished in: CoRR (2016)
Keyphrases
- correctness criterion
- trade off
- security requirements
- concurrency control protocols
- correctness criteria
- snapshot isolation
- concurrency control
- real time database systems
- security issues
- multilevel secure
- concurrent execution
- security level
- security measures
- transaction management
- security mechanisms
- security properties
- key management
- data encryption
- security analysis
- security protocols
- security management
- information security
- electronic transactions
- security patterns
- scheduling problem
- security architecture
- transaction processing
- cryptographic protocols
- authentication mechanism
- data security
- security model
- replicated databases
- sensitive data
- integrity constraints
- security services
- electronic voting
- encryption scheme
- stream cipher
- key exchange
- transaction processing systems
- multidatabase systems
- user authentication
- smart card
- key agreement protocol
- resource constraints
- key agreement
- diffie hellman
- key exchange protocol
- security policies
- integrity verification
- database systems
- access control
- distributed databases
- scheduling algorithm
- data replication
- authentication protocol
- public key encryption
- trusted computing
- transaction model
- digital rights management
- group communication
- factor authentication
- database
- update propagation
- public key infrastructure
- read only transactions
- resource constrained
- replicated data
- intrusion detection
- high scalability
- private key
- key distribution
- real time systems
- secret key
- distributed database systems
- application programs
- database management systems
- read write
- linear logic