248 search results - page 30 / 50 » Authentication Primitives and Their Compilation |
268
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
146
click to vote
SIGSOFT
2004
ACM
16 years 6 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
141
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
137
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
An exposed approach in computer service architecture is one that offers client software a primitive service whose semantics are closely based on the underlying physical infrastruc...
200
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
This paper addresses recognition of human activities with stochastic structure, characterized by variable spacetime arrangements of primitive actions, and conducted by a variable ...