2270 search results - page 321 / 454 » Modelling Secure IT Systems - A Survey |
121
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding ...
157
click to vote
MOBIWAC
2006
ACM
15 years 10 months ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
136
click to vote
MSWIM
2006
ACM
15 years 10 months ago
2006
ACM
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...
165
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
In electronic marketplaces populated by self-interested agents, buyer agents would benefit by modeling the reputation of seller agents, in order to make effective decisions abou...
139
Voted
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...