2022 search results - page 302 / 405 » Trust in Multi-Agent Systems |
66
Voted
AGENTS
1997
Springer
15 years 4 months ago
1997
Springer
: Software agents comprise a new area for research and soon will be embedded and ubiquitous in modern computing systems. In this formative phase, it is important to develop compreh...
102
click to vote
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software mo...
126
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
A strong level of trust in the software running on an embedded processor is a prerequisite for its widespread deployment in any high-risk system. The expanding field of software p...
108
Voted
ESORICS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
132
Voted
HPCNCS
2007
15 years 1 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...