Sciweavers

8503 search results - page 452 / 1701
» Secure Software Architectures
Sort
View
COMPSAC
2002
IEEE
15 years 12 months ago
Tool Support for Distributed Inspection
Software inspection is one of the best practices for detecting and removing defects early in the software development process. We present a tool to support geographically distribu...
Filippo Lanubile, Teresa Mallardo
SIGSOFT
2010
ACM
15 years 4 months ago
From requirements to partial behavior models: an iterative approach to incremental specification refinement
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
Ivo Krka
CCS
2004
ACM
16 years 9 days ago
Attacking and repairing the winZip encryption scheme
WinZip is a popular compression utility for Microsoft Windows computers, the latest version of which is advertised as having “easy-to-use AES encryption to protect your sensitiv...
Tadayoshi Kohno
IADIS
2003
15 years 8 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
165
Voted
ECMDAFA
2005
Springer
87views Hardware» more  ECMDAFA 2005»
16 years 13 days ago
On Relationships Between Query Models
Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture...
Dominik Stein, Stefan Hanenberg, Rainer Unland