EDN Admin
Well-known member
[Broken External Image]:http://ecn.channel9.msdn.com/o9/ch9/5/1/1/0/1/5/fine_85_ch9.pngJuan Chen*and Nikhil Swamy, two researchers at the Research in Software Engineering group, present FINE,*a new*programming language for .NET.
Software systems are governed by increasingly complex security policies. Ensuring that a system properly enforces its policy is hard. FINE is a new programming language (similar to F#) whose type system can be used to check that rich, stateful authorization and information flow policies are properly enforced. FINE is compiled to DCIL, a new minimal extension of .NET CIL. Our compiler carries type information throughout and allows DCIL programs to be verified independently for security.
In*this video, Juan an Nikhil give the big picture and a shiny demo of FINE.
[Broken External Image]:http://channel9.msdn.com/510115/WebViewBug.aspx?EVT=0
More...
Software systems are governed by increasingly complex security policies. Ensuring that a system properly enforces its policy is hard. FINE is a new programming language (similar to F#) whose type system can be used to check that rich, stateful authorization and information flow policies are properly enforced. FINE is compiled to DCIL, a new minimal extension of .NET CIL. Our compiler carries type information throughout and allows DCIL programs to be verified independently for security.
In*this video, Juan an Nikhil give the big picture and a shiny demo of FINE.
- FINE home page
- Read the article about FINE
[Broken External Image]:http://channel9.msdn.com/510115/WebViewBug.aspx?EVT=0
More...
