Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ASIAN
2007
Springer

favoriteEmaildiscussreport

93views Algorithms» more ASIAN 2007»

Static vs Dynamic Typing for Access Control in Pi-Calculus

13 years 10 months ago

Static vs Dynamic Typing for Access Control in Pi-Calculus

Download www.dsi.unive.it

Michele Bugliesi, Damiano Macedonio, Sabina Rossi

Real-time Traffic

Algorithms | ASIAN 2007 |

claim paper

Related Content

» Secrecy by Typing and FileAccess Control

» Access Control Based on Code Identity for Open Distributed Systems

» A static type system for JVM access control

» A Typed Process Calculus for FineGrained Resource Access Control in Distributed Computatio...

» Resource Access and Mobility Control with Dynamic Privileges Acquisition

» Dynamic Access Control in a Concurrent Object Calculus

» Dynamic security labels and static information flow control

» HistoryBased Access Control and Secure Information Flow

» Maximal Static Expansion

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	ASIAN
Authors	Michele Bugliesi, Damiano Macedonio, Sabina Rossi

Comments (0)