2209 search results - page 104 / 442 » Language Based Secure Communication |
154
click to vote
EWSA
2004
Springer
15 years 10 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
142
Voted
E4MAS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents ELMS, a language used for the specification of multi-agent environments. This language is part of the MAS-SOC approach to the design and implementation of mult...
131
Voted
ENTCS
2002
15 years 4 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
154
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Various low-latency anonymous communication systems such as Tor and Anoymizer have been designed to provide anonymity service for users. In order to hide the communication of user...
259
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...