@TECHREPORT{iti2007,
  author = {Daniel Serrano and Antonio Maņa},
  title = {Towards Secure System Development Based on MDA},
  institution = {Computer Science Departament (University of Malaga)},
  year = {2007},
  number = {ITI-07-03},
  abstract = {Security and dependability issues are rarely considered at the initial
	stages of software development. In fact, standard procedures in software
	and services development have traditionally overlooked these issues,
	or in the best cases have considered them as additions. This approach
	has produced very poor results, as demonstrated by the huge amount
	of security vulnerabilities discovered everyday in software products.
	Moreover, it has produced these poor results in scenarios where security
	was not crucial and where the attacks to software systems were mostly
	a kind of hobby. However, the trend towards distributed computing,
	together with the growing importance of the processes supported by
	computing systems is setting very high demands on the security and
	dependability requirements of software systems. We believe that craftsmanship-based
	development processes will not be capable of providing an adequate
	response to such demands. Therefore, our objective is to develop
	a tool-supported integrated framework for security-aware software
	engineering, supported by automated transformations and validations,
	and based on semantic description mechanisms and formal methods.
	Complementing this framework, we aim to define a new security-aware
	software engineering process, in which existing security and dependability
	solutions are integrated in terms of S\&D Patterns (security and
	dependability patterns).},
  owner = {Daniel},
  timestamp = {2008.01.09}
}