1183 search results - page 123 / 237 » On flow-sensitive security types |
195
click to vote
OOPSLA
1995
Springer
15 years 8 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
132
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A (k; n)-robust combiner for a primitive F takes as input n candidate implementations of F and constructs an implementation of F, which is secure assuming that at least k...
123
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
A large number of vulnerabilities occur because protocol implementations failed to anticipate illegal packets. rfcs typically define what constitute “right” packets relevant ...
153
click to vote
BLISS
2009
IEEE
15 years 5 months ago
2009
IEEE
Self configuring VLSI technology architectures offer a new environment for creating novel security functions. Two such functions for physical security architectures are proposed t...
172
click to vote
WEA
2010
Springer
15 years 2 months ago
2010
Springer
Classifying network flows by their application type is the backbone of many crucial network monitoring and controlling tasks, including billing, quality of service, security and tr...