1777 search results - page 214 / 356 » Programming Cryptographic Protocols |
108
click to vote
FORTE
2008
15 years 2 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
103
click to vote
TOCS
2002
15 years 1 months ago
2002
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
102
click to vote
WEBDB
1998
Springer
15 years 5 months ago
1998
Springer
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
101
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...