8644 search results - page 364 / 1729 » On the Composition of Secure Systems |
216
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
177
click to vote
ISPEC
2007
Springer
16 years 1 months ago
2007
Springer
Considerable research and experiment results in recent years have shown that the server-proxy-user architecture represents an efficient and scalable new paradigm for multimedia con...
196
click to vote
ESORICS
2004
Springer
16 years 28 days ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
171
click to vote
ACSAC
1999
IEEE
15 years 12 months ago
1999
IEEE
Mainly for scalability reasons, many cryptographic security protocols make use of public key cryptography and require the existence of a corresponding public key infrastructure (P...
195
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...