Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
FSE17-ToSC17
biblio
A Cryptographic Look at Multi-party Channels
Submitted by aekwall on Mon, 09/23/2019 - 10:26am
multiparty channels
broadcast channels
broadcast communication
channel security
confidential communication
cryptographic channels
FSE17-ToSC17
full-fledged broadcast channel
game-based authenticity
Group communication
bidirectional communication
point-to-point link
point-to-point links
protocol
secure-channels
Security Properties
standard cryptographic primitives
unidirectional links
Compositionality
Reliability
Servers
encryption
Cryptographic Protocols
Protocols
provable security
Resiliency
pubcrawl
internet
computer network security
Predictive Metrics
-broadcast-communication
-causality-preservation
-confidentiality
-integrity
authenticated communication
authenticated encryption
bidirectional channel
