Back to Results
First PageMeta Content
Applied mathematics / Process calculi / Π-calculus / Lambda calculus / Valuation / Function / Curry–Howard correspondence / Holomorphic functional calculus / Mathematics / Theoretical computer science / Abstract algebra


Secure Implementations of Typed Channel Abstractions (Extended Abstract) Michele Bugliesi Marco Giunti
Add to Reading List

Document Date: 2009-01-23 08:18:42

Open Document

File Size: 216,54 KB

Share Result on Facebook

City

Nice / /

Company

X.net / Needham / /

Country

France / /

Currency

pence / USD / /

/

IndustryTerm

appropriate computing environment / public network / channel infrastructure / abstract specification tool / communication protocols / protocols / computing / read/write protocols / channel server / proxy server / actual protocols / /

Person

Ai / Michele Bugliesi Marco Giunti / /

Position

Private / manager / writer / Protection General / /

ProgrammingLanguage

R / C / T / /

Technology

encryption / read/write protocols / actual protocols / second protocol / two filtering protocols / dom / two separate protocols / communication protocols / public key / proxy server / read protocol / /

SocialTag