87 search results - page 17 / 18 » Generic record combinators with static type checking |
133
click to vote
CCS
1999
ACM
15 years 6 months ago
1999
ACM
In this paper we present a new approach for network intrusion detection based on concise speciļ¬cations that characterize normal and abnormal network packet sequences. Our speciļ...
139
Voted
PEPM
1999
ACM
15 years 6 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
113
click to vote
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
261
Voted
CIDR
2007
15 years 4 months ago
2007
Though database technology has been remarkably successful in building a large market and adapting to the changes of the last three decades, its impact on the broader market of inf...
119
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Tools for analysing secure information ļ¬ow are almost exclusively based on ideas going back to Denningās work from the 70ās. This approach embodies an imperfect notion of sec...