325 search results - page 56 / 65 » Secure safe ambients |
ICSEA
2006
IEEE
14 years 1 months ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
CASSIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
OOPSLA
2005
Springer
14 years 29 days ago
2005
Springer
Frameworks and libraries change their APIs during evolution. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and techn...
PERVASIVE
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. In this paper we introduce the simultaneous tracking and activity recognition (STAR) problem, which exploits the synergy between location and activity to provide the info...
RTA
2005
Springer
14 years 29 days ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...