The following pages link to (Q4370271):
Displaying 4 items.
- On the Clark-Jacob version of SPLICE/AS (Q287082) (← links)
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- On the security of SPLICE/AS -- The authentication system in WIDE Internet (Q673820) (← links)
- On the use of data refinement in the development of secure communications systems (Q1402458) (← links)