8623 search results - page 31 / 1725 » Software engineering for secure systems |
194
click to vote
CODES
2005
IEEE
16 years 5 days 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...
169
click to vote
PDCAT
2007
Springer
16 years 20 days 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...
140
click to vote
APSEC
1995
IEEE
1995
IEEE
Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures
15 years 10 months ago
160
click to vote
OOPSLA
2009
Springer
16 years 1 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...