Sciweavers

2236 search results - page 1 / 448
» Secure Software Design in Practice
Sort
View
IEEEARES
2008
IEEE
13 years 11 months ago
Secure Software Design in Practice
Per Håkon Meland, Jostein Jensen
QSIC
2007
IEEE
13 years 11 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
IWPC
2009
IEEE
13 years 11 months ago
Practical static analysis for inference of security-related program properties
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
Yin Liu, Ana Milanova
IRI
2006
IEEE
13 years 11 months ago
Applying the layered decision model to the design of language-based security systems
Safeguarding practices for networked systems involves decisions in at least three areas: identification of welldefined security policies, selection of cost-effective defense strat...
Huaqiang Wei, Jim Alves-Foss
ESORICS
2004
Springer
13 years 10 months ago
Comparison Between Two Practical Mix Designs
We evaluate the anonymity provided by two popular email mix implementations, Mixmaster and Reliable, and compare their effectiveness through the use of simulations which model th...
Claudia Díaz, Len Sassaman, Evelyne Dewitte