Sciweavers

227 search results - page 16 / 46
» Towards OLAP Security Design - Survey and Research Issues
Sort
View
RE
2010
Springer
13 years 2 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
IFIP11
2004
114views Business» more  IFIP11 2004»
13 years 9 months ago
Update/Patch Management Systems: A Protocol Taxonomy with Security Implications
: Software fixes, patches and updates are issued periodically to extend the functional life cycle of software products. In order to facilitate the prompt notification, delivery, an...
Andrew M. Colarik, Clark D. Thomborson, Lech J. Ja...
CCGRID
2005
IEEE
14 years 1 months ago
Instant attack stopper in InfiniBand architecture
With the growing popularity of cluster architectures in datacenters and the sophistication of computer attacks, the design of highly secure clusters has recently emerged as a crit...
Manhee Lee, Mazin S. Yousif
BCS
2008
13 years 9 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
CHI
2010
ACM
14 years 2 months ago
Toward an ecological sensibility: tools for evaluating sustainable HCI
We are developing evaluation tools that help sustainable HCI researchers to contribute to the overall project of achieving sustainability. In this paper we argue for broadening su...
M. Six Silberman, Bill Tomlinson