2979 search results - page 91 / 596 » Modelling secure multiagent systems |
96
Voted
ICALT
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper discusses issues related with learning resources brokerage systems. It introduces a market-based modeling approach and proposes a virtual market model design of a broke...
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
122
Voted
IRI
2006
IEEE
15 years 8 months ago
2006
IEEE
Safeguarding practices for networked systems involves decisions in at least three areas: identification of welldefined security policies, selection of cost-effective defense strat...
86
Voted
IJNSEC
2008
15 years 2 months ago
2008
109
Voted
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...