54 search results - page 5 / 11 » Towards Secure Spectrum Decision |
113
click to vote
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
104
click to vote
CSFW
2000
IEEE
15 years 3 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
101
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Iterations are time-boxed periods with an intended outcome that is often a set of implemented requirements. Iterations are part of most common software development lifecycle model...
102
click to vote
CNIS
2006
15 years 1 months ago
2006
A variety of network security services, such as access control in firewalls and protocol analysis in intrusion detection systems, require the discrimination of packets based on th...