The following pages link to Shi-Guang Ju (Q943090):
Displaying 7 items.
- (Q439857) (redirect page) (← links)
- Symbolic algorithmic verification of intransitive generalized noninterference (Q439858) (← links)
- Integrated criteria for covert channel auditing (Q943091) (← links)
- Multilevel security model for ad hoc networks (Q3011409) (← links)
- (Q3020689) (← links)
- (Q3538585) (← links)
- (Q5315728) (← links)
