2061 search results - page 179 / 413 » Authorization for Metacomputing Applications |
126
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
148
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we identify context-free grammars as coalgebras. To obtain the associated context-free languages (consisting of only finite-length strings) we introduce a general a...
123
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
We introduce a new cryptographic primitive, called insubvertible encryption, that produces ciphertexts which can be randomized without the need of any key material. Unlike plain u...
147
click to vote
ESORICS
2005
Springer
15 years 10 months ago
2005
Springer
We introduce the notion of sanitizable signatures that offer many attractive security features for certain current and emerging applications. A sanitizable signature allows author...
152
click to vote
GD
2005
Springer
15 years 10 months ago
2005
Springer
We give a drawing of Kn in three dimensions in which vertices are placed at integer grid points and edges are drawn crossing-free with at most one bend per edge in a volume bounde...