3 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Hendra Gunadi, Alwen Tiu
We present a design and an implementation of a security policy specification language based on metric linear-time temporal logic (MTL). MTL features temporal operators that are ind…