1788 search results - page 149 / 358 » Integrating Security into the Curriculum |
187
click to vote
IEEEARES
2008
IEEE
16 years 24 days ago
2008
IEEE
—Data warehouse (DW) systems integrate data from heterogeneous sources and are used by decision makers to analyze the status and the development of an organization. Traditionally...
160
click to vote
CSFW
2007
IEEE
16 years 22 days ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
154
click to vote
VTC
2007
IEEE
16 years 19 days ago
2007
IEEE
— Vehicular communication (VC) systems have the potential to improve road safety and driving comfort. Nevertheless, securing the operation is a prerequisite for deployment. So fa...
172
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
189
click to vote
WETICE
2005
IEEE
15 years 12 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...