8644 search results - page 115 / 1729 » On the Composition of Secure Systems |
183
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
153
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present a framework for evaluating the security of trust and reputation systems for electronic marketplaces populated with buying and selling agents. Our propose...
176
click to vote
ICNP
2005
IEEE
16 years 3 days ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
273
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
182
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we build a Shopping Information Agent System (SIAS) based on mobile agent technology. We discuss possible security attacks by malicious hosts to agents in the syste...