741 search results - page 55 / 149 » Verification of security protocols using LOTOS-method and ap... |
132
Voted
ECUMN
2007
Springer
15 years 10 months ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...
147
click to vote
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
134
click to vote
AUSDM
2007
Springer
15 years 8 months ago
2007
Springer
Recently, privacy issues have become important in data analysis, especially when data is horizontally partitioned over several parties. In data mining, the data is typically repre...
136
click to vote
IFIPTM
2010
15 years 2 months ago
2010
Abstract. Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent...
150
click to vote
NDSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents the design and analysis of a multilayer protection scheme against denial-of-service (DoS) attacks in IP telephony enabled enterprise networks. While there are ...