4731 search results - page 37 / 947 » Securing Interactive Programs |
ECOOP
2012
Springer
11 years 11 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
HUC
2007
Springer
14 years 2 months ago
2007
Springer
Spontaneous interaction is a desirable characteristic associated with mobile and ubiquitous computing. The aim is to enable users to connect their personal devices with devices en...
ICALP
2001
Springer
14 years 1 months ago
2001
Springer
IFIP
1998
Springer
14 years 28 days ago
1998
Springer
ESORICS
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...