624 search results - page 91 / 125 » Application of Lightweight Formal Methods to Software Securi... |
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
103
click to vote
ICAI
2008
15 years 1 months ago
2008
Intrusion detection is an active research field in the development of reliable web-based information systems, where many artificial intelligence techniques are exploited to fit th...
103
click to vote
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...
112
click to vote
TLDI
2010
ACM
15 years 8 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...