Types for Access Control in a Calculus of Mobile Resources

Hans Hüttel, Morten Kühnrich

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Originalsprog	Engelsk
Titel	Electronic Notes in Theoretical Computer Science : Proceedings of SecCo'05
Antal sider	13
Publikationsdato	2005
Status	Udgivet - 2005
Begivenhed	3rd International Workshop on Security Issues in Concurrency (SecCo'05) - , USA Varighed: 19 maj 2010 → …

Konference	3rd International Workshop on Security Issues in Concurrency (SecCo'05)
Land/Område	USA
Periode	19/05/2010 → …

AUB Link

@inproceedings{1340d9409c2d11db8ed6000ea68e967b,

title = "Types for Access Control in a Calculus of Mobile Resources",

author = "Hans H{\"u}ttel and Morten K{\"u}hnrich",

year = "2005",

language = "English",

booktitle = "Electronic Notes in Theoretical Computer Science",

note = "3rd International Workshop on Security Issues in Concurrency (SecCo'05) ; Conference date: 19-05-2010",

}