The following pages link to Tajana Ban Kirigin (Q462498):
Displaying 8 items.
- Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499) (← links)
- There's no time, the problem of conceptualising time (Q2037982) (← links)
- On the complexity of verification of time-sensitive distributed systems (Q2154017) (← links)
- A multiset rewriting model for specifying and verifying timing aspects of security protocols (Q2303374) (← links)
- Bounded memory protocols (Q2339157) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems (Q4603575) (← links)
- A rewriting framework for activities subject to regulations (Q5111913) (← links)
