87 search results - page 17 / 18 » Generic record combinators with static type checking |
CCS
1999
ACM
13 years 11 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ļ...
PEPM
1999
ACM
13 years 11 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...
ESOP
2008
Springer
13 years 9 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...
CIDR
2007
13 years 9 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...
ESOP
2009
Springer
14 years 2 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...