Sciweavers

8644 search results - page 338 / 1729
» On the Composition of Secure Systems
Sort
View
264
Voted
SOFTWARE
2002
15 years 7 months ago
Correctness by Construction: Developing a Commercial Secure System
Anthony Hall, Roderick Chapman
153
Voted
ICEIS
2010
IEEE
15 years 5 months ago
A Contract-based Event Driven Model for Collaborative Security in Financial Information Systems
Roberto Baldoni, Giorgia Lodi, Gregory Chockler, E...
121
Voted
IJIPM
2010
63views more  IJIPM 2010»
15 years 4 months ago
MPCS: Secure Account-based Mobile Payment System
S. Britto R. Kumar, S. Albert Rabara
IJSSE
2010
110views more  IJSSE 2010»
15 years 4 months ago
Security Requirements Engineering for Evolving Software Systems: A Survey
Armstrong Nhlabatsi, Bashar Nuseibeh, Yijun Yu
139
Voted
INFORMATICASI
2010
15 years 4 months ago
A Framework for Evaluating Deployed Security Systems: Is There a Chink in your ARMOR?
Matthew E. Taylor, Christopher Kiekintveld, Craig ...