3792 search results - page 34 / 759 » Techniques for Trusted Software Engineering |
111
Voted
SERP
2003
15 years 4 months ago
2003
It is not an overstatement to say that the gap between software design and performance evaluation techniques has caused the misuse of the last ones by software engineers. The UML ...
151
Voted
CSE
2008
IEEE
15 years 10 months ago
2008
IEEE
E-mail services are essential in the Internet. However, the basic e-mail architecture presents problems that opens it to several threats. Alternatives have been proposed to solve ...
152
Voted
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
107
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
127
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...