62 search results - page 3 / 13 » Toward a Taxonomy and Costing Method for Security Services |
NDSS
2000
IEEE
13 years 10 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
FC
2009
Springer
14 years 28 days ago
2009
Springer
Abstract. This paper analyzes the threat of distributed attacks by developing a two-sided multiplayer model of security in which attackers aim to deny service and defenders strateg...
PIMRC
2010
IEEE
13 years 4 months ago
2010
IEEE
Long Term Evolution (LTE) is the latest step towards the 4th generation (4G) of radio technologies designed to increase the capacity and speed of mobile communications. To support ...
ICSM
2002
IEEE
13 years 11 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
GI
2009
Springer
13 years 4 months ago
2009
Springer
: The European Distributed Institute of Taxonomy (EDIT) platform, as well as biodiversity providers in general, provides a multitude of web-based taxonomic applications and service...