12637 search results - page 206 / 2528 » Security for Extensible Systems |
107
Voted
COMPSAC
2010
IEEE
15 years 18 days ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
114
Voted
GCC
2004
Springer
15 years 8 months ago
2004
Springer
Services are usually developed and deployed independently; and systems can be formed by composing relevant services to achieve set goals. In such an open and dynamic environment, s...
119
Voted
ACSW
2006
15 years 4 months ago
2006
Logcrypt provides strong cryptographic assurances that data stored by a logging facility before a system compromise cannot be modified after the compromise without detection. We b...
134
Voted
COMSWARE
2008
IEEE
15 years 9 months 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...
122
click to vote
ENTCS
2006
15 years 2 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...