10 citations · 39 across the 23 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009
A History of Until
Andrea Masini, Luca Viganò, Marco Volpe
Until is a notoriously difficult temporal operator as it is both existential and universal at the same time: A until B holds at the current time instant w iff either B holds at w o…
cs.CR2009★ 2 cited
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version)
Michele Barletta, Silvio Ranise, Luca Viganò
A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of authorizati…