8623 search results - page 334 / 1725 » Software engineering for secure systems |
199
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...
177
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
140
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
154
click to vote
FSEN
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
156
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Despite general awareness of the importance of keeping one's system secure, and widespread availability of consumer security technologies, actual investment in security remai...