3516 search results - page 248 / 704 » Integrating Security Modeling into Embedded System Design |
173
Voted
NORDSEC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. To have certainty about identities is crucial for secure communication in digital environments. The number of digital identities that people and organizations need to man...
125
Voted
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
Software process improvement is an iterative activity, normally involving measurement, analysis, and change. For most organizations, the existing software process has substantial ...
119
Voted
SP
1997
IEEE
15 years 8 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
115
Voted
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
135
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
A federated Web-based multimedia information system on one hand gathers its data from various Web sources, on the other hand offers the end-user a rich semantics describing its co...