1: \documentclass{LMCS}

2: \usepackage{macros,enumerate,hyperref}

3: \let\subst\subone

4: \showcomments

5: %\overfullrule=2 pt

6: 

7: %\renewenvironment{sfmath}{\ignorespaces}{\ignorespacesafterend}

8: 

9: \title{\lrbac: Programming with Role-Based Access Control}

10: \author[R.~Jagadeesan]{Radha Jagadeesan\rsuper a}

11: \address{{\lsuper{a,c,d}}CTI, DePaul University}

12: \email{\{rjagadeesan,cpitcher,jriely\}@cti.depaul.edu}

13: \thanks{{\lsuper{a,c}}Radha Jagadeesan and Corin Pitcher were 

14: supported in part by NSF CyberTrust 0430175.}

15: \author[A.~Jeffrey]{Alan Jeffrey\rsuper b}

16: \address{{\lsuper b}Bell Labs}

17: \email{ajeffrey@bell-labs.com}

18: \thanks{}

19: \author[C.~Pitcher]{Corin Pitcher\rsuper c}

20: %\address{{\lsuper c}CTI, DePaul University}

21: \address{\vskip-6 pt}

22: %\email{cpitcher@cti.depaul.edu}

23: \thanks{}

24: \author[J.~Riely]{James Riely\rsuper d}

25: \address{\vskip-6 pt}

26: %\address{{\lsuper d}CTI, DePaul University}

27: %\email{jriely@cti.depaul.edu}

28: \thanks{{\lsuper d}James Riely was supported in part by NSF CAREER 0347542.}

29: \keywords{role-based access control, lambda-calculus, static analysis}

30: \subjclass{D.3, K.6.5}

31: % ----------------------------------------------------------------------------

32: %

33: % ----------------------------------------------------------------------------

34: \def\doi{4 (1:2) 2008}

35: \lmcsheading%

36: {\doi}

37: {1--24}

38: {}

39: {}

40: {Nov.~21, 2006}

41: {Jan.~\phantom{0}9, 2008}

42: {}   

43: 

44: \begin{document}

45: 

46: \input{begin}

47: \input{language}

48: \input{typing}

49: \input{examples}

50: \input{usercode}

51: \input{proofs}

52: \input{end}

53: 

54: %----------------------------------------------------------------------------

55: % 

56: %----------------------------------------------------------------------------

57: \section*{Acknowledgments}

58: The presentation of the paper has greatly improved thanks to the

59: comments of the referees.

60: 

61: \bibliographystyle{ieee}

62: \bibliography{bib}

63: 

64: \appendix

65: \end{document}

66: 

67: \endinput

68: % ----------------------------------------------------------------------------

69: % Cut and Paste: Below here everything ignored

70: % ----------------------------------------------------------------------------

71: 

72: 

73: % Local Variables:

74: % mode: latex

75: % TeX-master: t

76: % End:

77: