Frank Pfenning (Carnegie Mellon University, USA).
Note excepcional week day, time and location. Joint session with the Information Security Seminar.
February 25, 2010, Thursday, 18h.
Abstract: Authorization policies are not stand-alone objects: they are used to selectively permit actions that change the state of a system. Thus, it is desirable to have a framework for reasoning about the semantic consequences of policies. To this end, we extend a rewriting interpretation of linear logic with connectives for modeling affirmation, knowledge, and possession. To cleanly confine semantic effects to the rewrite sequence, we introduce a monad. The result is a richly expressive logic that elegantly integrates policies and their effects. After presenting this logic and its metatheory, we demonstrate its utility by proving properties that relate a simple file system's policies to their semantic consequences. [This talk represents joint work with Henry DeYoung]
IEEE VTS Portugal Chapter, the Instituto de Telecomunicações and the University of Beira Interior invite the entire academic community and all interested that wish to attend the Workshop ''Introduction to LaTeX'' on the 24th of February, Wednesday, at 14 hours, in the Amphitheater 8.1 on the Engineering Building 1, University of Beira Interior.
Latex is a high quality text printing tool in wide use by mathematicians, physicists, engineers and scientists in general, but not only. Professor Miguel Oliveira e Silva, from the University of Aveiro, will give a theoretical practice training for about 1 hour and 30 minutes on how to produce documents, highlighting the common features.
For more information, please consult the following address:
The workshop will be broadcast via internet at the same address.