Sciweavers

8644 search results - page 298 / 1729
» On the Composition of Secure Systems
Sort
View
198
Voted
MSS
2000
IEEE
130views Hardware» more  MSS 2000»
15 years 10 months ago
Design for a Decentralized Security System For Network Attached Storage
T This paper describes an architecture for a secure file system based on network-attached storage that guarantees end-to-end encryption for all user data. We describe the design of...
William E. Freeman, Ethan L. Miller
EUROMICRO
1997
IEEE
15 years 11 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
15 years 6 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
16 years 2 days 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
15 years 11 months ago
Security architecture for component-based operating systems
Trent Jaeger, Jochen Liedtke, Vsevolod Panteleenko...