52 search results - page 7 / 11 » Towards automated provisioning of secure virtualized network... |
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
EUROSEC
2010
ACM
15 years 4 months ago
2010
ACM
Fighting global security threats with only a local view is inherently difficult. Internet network operators need to fight global phenomena such as botnets, but they are hampered...
HOTOS
2009
IEEE
15 years 1 months ago
2009
IEEE
The last fifteen years has seen a vast proliferation of middleboxes to solve all manner of persistent limitations in the Internet protocol suite. Examples include firewalls, NATs,...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...
CSREASAM
2004
14 years 11 months ago
2004
: Present-day handheld devices, such as PDAs, are a useful blend of hardware and software oriented toward the mobile workforce. While they provide the capability to review document...