1183 search results - page 9 / 237 » On flow-sensitive security types |
151
Voted
MSR
2011
ACM
14 years 6 months ago
2011
ACM
A good understanding of the impact of different types of bugs on various project aspects is essential to improve software quality research and practice. For instance, we would ex...
142
click to vote
ISSE
2010
14 years 10 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
142
Voted
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number o...
114
click to vote
ICFP
2000
ACM
15 years 8 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
161
click to vote
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...