Sciweavers

6555 search results - page 126 / 1311
» Secure attribute-based systems
Sort
View
EUROMICRO
1997
IEEE
14 years 2 months ago
The Harpoon security system for helper programs on a Pocket Companion
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
Gerard J. M. Smit, Paul J. M. Havinga, Daniël...
PERVASIVE
2006
Springer
13 years 10 months ago
Scalability in a Secure Distributed Proof System
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
Kazuhiro Minami, David Kotz
COMPSAC
2003
IEEE
14 years 3 months ago
PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications
Many agent-based systems have been developed over the past decade; however, the security issues are usually not addressed adequately. In order to make the mobile agent paradigm mo...
Qingkai Ma, Wei Hao, Wei Li, Manghui Tu, I-Ling Ye...
SIGOPSE
1998
ACM
14 years 2 months ago
Security architecture for component-based operating systems
Trent Jaeger, Jochen Liedtke, Vsevolod Panteleenko...
OSDI
2000
ACM
13 years 11 months ago
Fast and Secure Distributed Read-Only File System
Kevin Fu, M. Frans Kaashoek, David Mazières