8623 search results - page 31 / 1725 » Software engineering for secure systems |
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
We design and implement a cryptographic biometric authentication system using a microcoded architecture. The secure properties of the biometric matching process are obtained by me...
SOFTWARE
2002
13 years 7 months ago
2002
PDCAT
2007
Springer
14 years 1 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
APSEC
1995
IEEE
1995
IEEE
Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures
13 years 11 months ago
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...