2024 search results - page 18 / 405 » Providing Secure Environments for Untrusted Network Applicat... |
123
click to vote
ICDCSW
2003
IEEE
15 years 7 months ago
2003
IEEE
Sensing the state of the environment is an important source for context-aware applications. Several approaches exist to provide sensor information to mobile application nodes. As ...
115
click to vote
SP
2007
IEEE
15 years 8 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
111
Voted
DANCE
2002
IEEE
15 years 6 months ago
2002
IEEE
Janos is an operating system for active network nodes whose primary focus is strong resource management and control of untrusted active applications written in Java. Janos include...
144
Voted
PERCOM
2003
ACM
16 years 1 months ago
2003
ACM
In pervasive computing environments, powerful handheld devices with wireless connections create opportunities for many new nomadic applications. We propose a new service discovery...
123
Voted
SP
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...