Sciweavers

270 search results - page 12 / 54
» Building Software Securely from the Ground Up
Sort
View
PLDI
2011
ACM
14 years 23 days ago
Caisson: a hardware description language for secure information flow
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
Xun Li 0001, Mohit Tiwari, Jason Oberg, Vineeth Ka...
ACMSE
1998
ACM
15 years 2 months ago
Improving software quality
– It is difficult to improve software quality by relying on conformance to industry standards by continuously upgrading from one standard or model to another standard or model be...
Sharon Wheeler, Sheryl Duggins
CCS
2007
ACM
15 years 4 months ago
Protecting users from "themselves"
Computer usage and threat models have changed drastically since the advent of access control systems in the 1960s. Instead of multiple users sharing a single file system, each us...
William Enck, Sandra Rueda, Joshua Schiffman, Yoge...
IADIS
2003
14 years 11 months ago
DENOFAS: A Vulnerability Assessment Tool
This paper describes the development of a software tool for detection of vulnerabilities in networked systems, using public available security resources. Our tool builds is knowle...
Rui Costa Cardoso, Mário M. Freire
RSP
2007
IEEE
141views Control Systems» more  RSP 2007»
15 years 4 months ago
Rapid Prototyping of Intrusion Detection Systems
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
Fabrice Kordon, Jean-Baptiste Voron