624 search results - page 15 / 125 » Application of Lightweight Formal Methods to Software Securi... |
104
click to vote
DEXAW
2008
IEEE
14 years 11 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
101
click to vote
ESSOS
2011
Springer
14 years 29 days ago
2011
Springer
The class of Cross-site Scripting (XSS) vulnerabilities is the most prevalent security problem in the field of Web applications. One of the main attack vectors used in connection ...
ICSE
1993
IEEE-ACM
15 years 1 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
ICFEM
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...