956 search results - page 150 / 192 » A security framework for agent-based systems |
CADE
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
MIDDLEWARE
2004
Springer
14 years 2 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
HOTOS
2003
IEEE
14 years 2 months ago
2003
IEEE
User applications that move a lot of data across the user-kernel boundary suffer from a serious performance penalty. We provide a framework, Compound System Calls (CoSy), to enhan...
AGENTS
2000
Springer
14 years 1 months ago
2000
Springer
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents ...
AGENTS
2000
Springer
14 years 1 months ago
2000
Springer
Numerous agencies and agent systems are being developed or portrayed as vehicles to deliver novel types of e-commerce services to users. However service agents in one agency are p...