191
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
244
Voted
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Certificateless cryptography achieves the best of the two worlds: it inherits from identity-based techniques a solution to the certificate management problem in public-key encrypti...
210
Voted
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
255
click to vote
INCDM
2010
Springer
15 years 9 months ago
2010
Springer
We present rminer, our open source library for the R tool that facilitates the use of data mining (DM) algorithms, such as neural Networks (NNs) and support vector machines (SVMs),...
208
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...