The following pages link to Sihan Qing (Q866171):
Displayed 29 items.
- A formal model of fair exchange protocols (Q866173) (← links)
- Formal analysis and design of multi-party fair exchange protocols (Q882700) (← links)
- Item:Q866171 (redirect page) (← links)
- Study on strand space model theory (Q1412125) (← links)
- Preserving privacy for free: efficient and provably secure two-factor authentication scheme with user anonymity (Q1750012) (← links)
- Design of secure operating systems with high security levels (Q2385412) (← links)
- (Q3442692) (← links)
- (Q4470936) (← links)
- (Q4473587) (← links)
- (Q4473598) (← links)
- (Q4473600) (← links)
- (Q4673959) (← links)
- (Q4823630) (← links)
- (Q4823820) (← links)
- (Q4823848) (← links)
- (Q4823850) (← links)
- (Q4823860) (← links)
- (Q4823992) (← links)
- (Q4824006) (← links)
- (Q4825747) (← links)
- (Q4825749) (← links)
- (Q4825897) (← links)
- (Q4901381) (← links)
- (Q4945382) (← links)
- CoChecker: Detecting Capability and Sensitive Data Leaks from Component Chains in Android (Q5170801) (← links)
- A Practical Alternative to Domain and Type Enforcement Integrity Formal Models (Q5302948) (← links)
- (Q5315754) (← links)
- (Q5490411) (← links)
- (Q5714530) (← links)