8623 search results - page 1324 / 1725 » Software engineering for secure systems |
178
click to vote
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
238
click to vote
JIT
2004
Springer
16 years 6 days ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
178
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
171
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...
192
click to vote
CSSE
2004
IEEE
15 years 6 months ago
2004
IEEE
Even though the final objective of an access control model is to provide a framework to decide if actions performed by subjects on objects are permitted or not, it is not convenie...