1183 search results - page 116 / 237 » On flow-sensitive security types |
128
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...
148
click to vote
CSREASAM
2006
15 years 6 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
200
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Broad-based collaborations are becoming increasingly common among disease researchers. For example, the Global HIV Enterprise has united cross-disciplinary consortia t...
113
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
149
Voted
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
In this work we design algorithms for clustering relational columns into attributes, i.e., for identifying strong relationships between columns based on the common properties and ...