5843 search results - page 398 / 1169 » Software Security in Practice |
375
Voted
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
165
click to vote
XPU
2007
Springer
16 years 25 days ago
2007
Springer
This descriptive case study is about the dynamics of a software engineering team using executable acceptance test-driven development in a real world project. The experiences of a c...
149
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
214
click to vote
MOBIQUITOUS
2008
IEEE
16 years 1 months ago
2008
IEEE
SMEPP Light is a middleware for Wireless Sensor Networks (WSNs) based on mote-class sensors. It is derived from the specification developed under the framework of the SMEPP proje...
154
click to vote
NCA
2006
IEEE
16 years 23 days ago
2006
IEEE
We present a system for secure telephone conferences (stc) over the internet. The system ensures participant authentication via x.509 certificates, such that every participant of...