Sciweavers

12637 search results - page 279 / 2528
» Security for Extensible Systems
Sort
View
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
15 years 12 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
15 years 10 months ago
Security architecture for component-based operating systems
Trent Jaeger, Jochen Liedtke, Vsevolod Panteleenko...
OSDI
2000
ACM
15 years 8 months ago
Fast and Secure Distributed Read-Only File System
Kevin Fu, M. Frans Kaashoek, David Mazières
JAISE
2010
88views Algorithms» more  JAISE 2010»
15 years 1 months ago
Improving user verification by implementing an agent-based security system
Abstract. This paper presents an agent-based, high-level security system for user verification. The system verifies a user's identity by processing data from several low-lever...
Erik Dovgan, Bostjan Kaluza, Tea Tusar, Matjaz Gam...