Sciweavers

2236 search results - page 71 / 448
» Secure Software Design in Practice
Sort
View
SEFM
2003
IEEE
15 years 7 months ago
Component-Based Design and Analysis: A Case Study
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
Yan Jin, Charles Lakos, Robert Esser
116
Voted
CCS
2007
ACM
15 years 8 months ago
An independent audit framework for software dependent voting systems
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
Sujata Garera, Aviel D. Rubin
121
Voted
CORR
2010
Springer
83views Education» more  CORR 2010»
15 years 2 months ago
A Platform for Implementing Secure Wireless Ad Hoc Networks
: We propose a new platform for implementing secure wireless ad hoc networks. Our proposal is based on a modular architecture, with the software stack constructed directly on the E...
Gyula Farkas, Béla Genge, Piroska Haller
111
Voted
ATAL
2009
Springer
15 years 9 months ago
Bounded practical social reasoning in the ESB framework
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
Iain Wallace, Michael Rovatsos
127
Voted
INTERACT
1997
15 years 3 months ago
Usability Engineering in Industrial Practice
ABSTRACT Do developers use proven usability techniques like user involvement, usability testing, and iterative design in industrial practice? Based on inside knowledge of many diff...
Søren Lauesen