5665 search results - page 303 / 1133 » Introduction to Computer Security |
95
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
112
Voted
ICIC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper our original methodology of applying ontologybased logic into decision support system for security management in heterogeneous networks is presented. Such d...
RTA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
127
Voted
COLCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
It is well understood that Mobile Ad Hoc Networks (MANETs) are extremely susceptible to a variety of attacks, and traditional security mechanisms do not work well. Many security sc...
ICDCS
2008
IEEE
15 years 7 months ago
2008
IEEE
The growing popularity of web applications in the last few years has led users to give the management of their data to online application providers, which will endanger the securi...