946 search results - page 50 / 190 » Software engineering for security: a roadmap |
141
click to vote
ECSA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
174
click to vote
COMSWARE
2008
IEEE
16 years 10 days ago
2008
IEEE
— We design a framework that implements security at the TCP layer to meet the necessity for a practical and truly end-to-end security solution. We call our framework TCPsec. TCPs...
143
click to vote
CD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...
193
click to vote
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
149
click to vote
OOPSLA
2009
Springer
16 years 13 days 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...