1395 search results - page 202 / 279 » Communication Security in Multi-agent Systems |
ENTCS
2007
13 years 10 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
TSE
2010
13 years 4 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...
IEEEARES
2007
IEEE
14 years 4 months ago
2007
IEEE
Project management traditionally has a strong focus on human reporting that fits well a tightly coupled form of organization to ensure the quality of project reporting. For loosel...
ACSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
Attribute Based Messaging (ABM) enables message senders to dynamically create a list of recipients based on their attributes as inferred from an enterprise database. Such targeted...
RAID
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...