2335 search results - page 365 / 467 » Securing Distributed Systems with Information Flow Control |
233
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
106
click to vote
WPES
2003
ACM
15 years 7 months ago
2003
ACM
We present a model and protocol for anonymous credentials. Rather than using deterrents to ensure non-transferability, our model uses secure hardware with biometric authentication...
102
click to vote
NDSS
1998
IEEE
15 years 6 months ago
1998
IEEE
The Internet White Pages Service (IWPS) has been slow to materialise for many reasons. One of them is the security concerns that organisations have, over allowing the public to ga...
130
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
144
click to vote
ICUMT
2009
14 years 11 months ago
2009
Multicast conferencing is a rapidly-growing area of Internet use. Audio, video and other media such as shared whiteboard data can be distributed efficiently between groups of confe...