2270 search results - page 263 / 454 » Modelling Secure IT Systems - A Survey |
181
click to vote
ICDCSW
2007
IEEE
16 years 25 days ago
2007
IEEE
In this paper, we consider the problem of reducing the number of false positives generated by cooperative Intrusion Detection Systems (IDSs) in Mobile Ad hoc Networks (MANETs). We...
180
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...
186
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
The dynamic and collaborative nature of mobile and sensor networks raises the issue of how connected mobile devices can be trusted. Despite the existing security paradigms such as...
156
click to vote
ICDCS
2005
IEEE
16 years 4 days ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
206
click to vote
EMS
2008
IEEE
15 years 8 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...