193 search results - page 13 / 39 » An Aspect-Oriented Approach to Security Requirements Analysi... |
115
click to vote
BCS
2008
15 years 1 months ago
2008
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...
WISA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The algorithm proposed by Ha and Moon [2] is a countermeasure against power analysis. The Ha-Moon algorithm has two drawbacks in that it requires an inversion and has a r...
118
click to vote
IFIP
2010
Springer
14 years 6 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...
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
EUROPKI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...