The following pages link to (Q4950034):
Displayed 4 items.
- Assume-guarantee synthesis for digital contract signing (Q736809) (← links)
- Electronic payment scheme to prevent the treachery (Q3443287) (← links)
- Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets (Q3556615) (← links)
- Fair Threshold Decryption with Semi-Trusted Third Parties (Q3634502) (← links)