Ranise Armando

According to our database, Ranise Armando authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2010

Automated Symbolic Analysis of ARBAC-Policies (Extended Version)

Ranise Armando, Silvio Ranise

CoRR, 2010