8623 search results - page 235 / 1725 » Software engineering for secure systems |
149
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
The principle goal of our research project is to improve the availability of service-oriented systems. This is especially important in systems that cross organizational boundaries...
133
click to vote
ICSE
2010
IEEE-ACM
15 years 10 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
157
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...
234
click to vote
SERP
2010
15 years 4 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
184
click to vote
RIAO
2000
15 years 8 months ago
2000
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...