Security for the Internet of Things and the Bluetooth Protocol.
Rodrigo Alexander Fagua ArévaloOctavio José Salcedo ParraJuan Manuel Sánchez CéspedesPublished in: FDSE (2018)
Keyphrases
- cryptographic protocols
- security protocols
- ubiquitous computing
- key agreement protocol
- authentication protocol
- rfid systems
- security properties
- ban logic
- security model
- security analysis
- rfid technology
- secure routing
- mutual authentication
- mobile phone
- access control
- mobile devices
- key exchange protocol
- formal analysis
- lightweight
- information security
- security issues
- mobile payment
- security requirements
- communication protocols
- virtual private network
- key agreement
- key distribution
- protocol specification
- provably secure
- network security
- secure multiparty computation
- security services
- key technologies
- security policies
- intrusion detection
- physical layer
- denial of service attacks
- diffie hellman
- trusted third party
- key management
- multi hop
- electronic voting
- homomorphic encryption
- elliptic curve
- messages exchanged
- encryption scheme
- mobile agent system
- trust negotiation
- mobile computing
- network layer
- standard model