4330 search results - page 32 / 866 » Analyzing security architectures |
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—By taking advantage of the multiple wavelength provisioning capability, WDM PON dramatically enlarges its capacity as compared to TDM PON. The capacity of a WDM PON system depen...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Nowadays, the IP Multimedia Subsystem (IMS) is a promising research field. Many ongoing works related to the security and the performances of its employment are presented to the r...
ITRUST
2005
Springer
14 years 26 days ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
IEEESP
2007
13 years 7 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...