154 search results - page 5 / 31 » Security architecture testing using IDS - a case study |
FAC
2007
14 years 9 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
SIGUCCS
2005
ACM
15 years 3 months ago
2005
ACM
Starting in 2003, Drew University began a process to replace its manual account management procedures with an automated provisioning system based upon Novell technologies. Over th...
IDEAL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The work presented in this paper shows the capability of a connectionist model, based on a statistical technique called Exploratory Projection Pursuit (EPP), to identify ...
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
EUROSYS
2006
ACM
15 years 6 months ago
2006
ACM
The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...