Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019
The Cpi-calculus: a Model for Confidential Name Passing
Ivan Prokić
Sharing confidential information in distributed systems is a necessity in many applications, however, it opens the problem of controlling information sharing even among trusted par…
cs.PL2018
A Calculus for Modeling Floating Authorizations
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
Controlling resource usage in distributed systems is a challenging task given the dynamics involved in access granting. Consider, for instance, the setting of floating licenses whe…