The following pages link to (Q5418256):
Displaying 5 items.
- Probability timed automata for investigating communication processes (Q747506) (← links)
- Analyzing security protocols using time-bounded task-PIOAs (Q1020557) (← links)
- Timed models of security protocols including delays in the network (Q2201162) (← links)
- Formal models of timing attacks on web privacy (Q2841280) (← links)
- Automated synthesis of enforcing mechanisms for security properties in a timed setting (Q2866731) (← links)