624 search results - page 12 / 125 » Application of Lightweight Formal Methods to Software Securi... |
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
SEKE
2004
Springer
15 years 2 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
FORTE
2004
14 years 10 months ago
2004
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
73
Voted
JOT
2006
14 years 9 months ago
2006
There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based p...
SAFECOMP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...