Sciweavers

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

94

ASIAN
2007
Springer

93views Algorithms» more ASIAN 2007»

Static vs Dynamic Typing for Access Control in Pi-Calculus

15 years 9 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)