716 search results - page 63 / 144 » Security Requirements Engineering: A Framework for Represent... |
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
ICIAR
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, a new block-based image-dependent watermarking technique is proposed. The proposed technique utilizes the correlation coefficient statistic to produce a short and un...
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...