946 search results - page 119 / 190 » Software engineering for security: a roadmap |
CSSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
CSSE
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we present three embedding schemes for extensions of least significant bit overwriting to both of the two lowest bit planes in digital images. Our approaches are in...
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
EUROMICRO
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we present a comprehensive set of mechanisms that restore to the site administrator the capacity of enforcing Traffic Engineering (TE) policies in a multiaddressed I...