2236 search results - page 16 / 448 » Secure Software Design in Practice |
ICSE
1994
IEEE-ACM
13 years 11 months ago
1994
IEEE-ACM
Abstract. Language-based editing systems have the potential to become a practical, central, and powerful part of every software engineer's toolkit, but progress has been limit...
ISW
2000
Springer
13 years 11 months ago
2000
Springer
Securing the mobile code commerce is not an easy task at all. We propose in this paper a framework to tackle this problem. In a first step, we analyse the general issues that must ...
SACMAT
2006
ACM
14 years 1 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
APSEC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
ICECCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...