3792 search results - page 680 / 759 » Techniques for Trusted Software Engineering |
109
Voted
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...
107
click to vote
COMSWARE
2007
IEEE
15 years 4 months ago
2007
IEEE
The Border Gateway Protocol (BGP) is the standard protocol for exchanging routing information between border routers of Autonomous Systems (ASes) in today's Internet. Within a...
103
Voted
COMSWARE
2007
IEEE
15 years 4 months ago
2007
IEEE
Migration to a converged network has caused service providers to deploy real time applications such as voice over an IP (VoIP) network. From the provider's perspective, the s...
105
click to vote
FASE
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
127
Voted
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...