Entry Abadi:1991:CAC from lncs1991.bib
Last update: Sun Jun 12 02:46:39 2016
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Abadi:1991:CAC,
author = "M. Abadi and M. Burrows and B. Lampson and G.
Plotkin",
title = "A Calculus for Access Control in Distributed Systems
(Invited)",
journal = j-LECT-NOTES-COMP-SCI,
volume = "576",
pages = "1--??",
year = "1991",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Tue Feb 5 11:48:11 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t0576.htm;
http://www.math.utah.edu/pub/tex/bib/lncs1991.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/0576/05760001.htm;
http://link.springer-ny.com/link/service/series/0558/papers/0576/05760001.pdf",
acknowledgement = ack-nhfb,
}
Related entries
- Abadi, M.,
526(0)326
- Access,
519(0)92,
525(0)5,
525(0)225,
525(0)277,
566(0)68,
567(0)214
- Burrows, M.,
526(0)326
- calculus,
502(0)504,
512(0)133,
516(0)262,
520(0)277,
527(0)61,
530(0)282,
531(0)116,
541(0)264,
542(0)316,
548(0)272,
552(0)79,
565(0)304,
571(0)53
- Control,
496(0)104,
499(0)279,
507(0)220,
508(0)71,
509(0)69,
509(0)167,
515(0)1,
530(0)74,
531(0)282,
537(0)216,
539(0)403,
541(0)17,
546(0)428,
548(0)206,
571(0)291
- distributed,
473(0)110,
483(0)47,
483(0)287,
496(0)176,
496(0)209,
496(0)373,
496(0)388,
497(0)415,
497(0)471,
497(0)532,
497(0)547,
497(0)559,
497(0)588,
497(0)599,
497(0)610,
499(0)252,
499(0)260,
499(0)279,
502(0)478,
505(0)119,
505(0)137,
505(0)150,
507(0)336,
507(0)350,
511(0)419,
512(0)268,
517(0)1,
521(0)568,
527(0)220,
527(0)346,
527(0)393,
528(0)87,
528(0)159,
542(0)122,
547(0)221,
549(0)475,
550(0)60,
555(0)204,
555(0)225,
557(0)22,
560(0)71,
563(0)2,
563(0)56,
563(0)109,
563(0)119,
563(0)178,
563(0)256,
563(0)273,
565(0)148,
565(0)243,
567(0)161,
571(0)411
- invited,
510(0)1,
510(0)186,
510(0)363,
510(0)441,
510(0)615,
510(0)686,
514(0)2,
514(0)282,
514(0)320,
516(0)26,
516(0)64,
516(0)162,
516(0)206,
528(0)1,
528(0)255,
537(0)2,
537(0)216,
575(0)1,
575(0)376,
576(0)300
- Lampson, B.,
526(0)326