8623 search results - page 251 / 1725 » Software engineering for secure systems |
180
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...
193
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
156
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we present a framework for estimating the energy consumption of Java-based software systems. Our primary objective is to enable an engineer to make informed decision...
162
click to vote
DRM
2007
Springer
16 years 25 days ago
2007
Springer
We present a new technique for generating biometric fingerprint hashes, or summaries of information contained in human fingerprints. Our method calculates and aggregates various...
156
click to vote
ESSOS
2010
Springer
16 years 3 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...