Back to Results
First PageMeta Content
Applied mathematics / Computer science / Models of computation / Mathematics / Π-calculus / Lambda calculus / Model theory / Mobile Membranes / Process calculi / Theoretical computer science / Ambient calculus


Reasoning about Security in Mobile Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 1
Add to Reading List

Document Date: 2005-06-07 07:00:39

Open Document

File Size: 220,74 KB

Share Result on Facebook

City

Venezia / Paris / /

Company

CNRS Program Telecommunications / /

Country

Italy / /

Currency

pence / /

Event

FDA Phase / /

IndustryTerm

Mobile computing / natural and elegant solution / access protocols / wide-area open networks / possible solutions / satisfactory solution / software resources / multilevel security systems / /

Organization

D´epartement d’Informatique ´Ecole Normale Sup´erieure / /

Position

resource manager / which opens the incoming agent / resource manager / messenger / manager / manager in each resource / mediator / model of communication / input messenger / /

Product

CG98 / /

Technology

Mobile computing / The protocol / following protocol / access protocols / encoding access protocols / /

SocialTag