246 search results - page 2 / 50 » Towards Safe Distributed Application Development |
CCGRID
2004
IEEE
14 years 8 days ago
2004
IEEE
TGC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
ESORICS
2006
Springer
14 years 5 days ago
2006
Springer
With the growing trend towards the use of web applications the danger posed by cross site scripting vulnerabilities gains severity. The most serious threats resulting from cross si...
ECOOPW
1999
Springer
14 years 24 days ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
HOTOS
2003
IEEE
14 years 1 months ago
2003
IEEE
The emergence of the global Internet has dramatically broadened and changed the computing landscape. In particular, much of the value in contemporary computing systems derives fro...