The following pages link to Secure Communicating Systems (Q4406530):
Displaying 5 items.
- A formalized general theory of syntax with bindings (Q1687739) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Communication security in the internet era. Foundations, strategies, realization, applications (Q2715717) (← links)
- (Q3065879) (← links)
- (Q4423718) (← links)