2979 search results - page 189 / 596 » Modelling secure multiagent systems |
179
click to vote
SOUPS
2010
ACM
15 years 10 months ago
2010
ACM
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...
186
click to vote
ENTCS
2006
15 years 6 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
197
click to vote
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
156
click to vote
IEEEARES
2007
IEEE
16 years 23 days ago
2007
IEEE
Security communication systems composed of highly reliable components may have few if any failures while undergoing heavy testing or field-usage. This paper combines (i) analysis ...
173
click to vote
CSFW
2006
IEEE
16 years 15 days ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...