1419 search results - page 76 / 284 » Notes on Formalizing Context |
CRYPTO
2001
Springer
15 years 5 months ago
2001
Springer
Recently Victor Shoup noted that there is a gap in the widely-believed security result of OAEP against adaptive chosen-ciphertext attacks. Moreover, he showed that, presumably, OA...
102
click to vote
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
120
Voted
SPATIALCOGNITION
2000
Springer
15 years 4 months ago
2000
Springer
An approach to high-level interaction with autonomous robots by means of schematic maps is outlined. Schematic maps are knowledge representation structures to encode qualitative s...
130
Voted
LISP
2000
15 years 13 days ago
2000
This paper forms the substance of a course of lectures given at the International Summer School in Computer Programming at Copenhagen in August, 1967. The lectures were originally ...
187
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...