4731 search results - page 6 / 947 » Securing Interactive Programs |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
SP
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
OOPSLA
1997
Springer
13 years 11 months ago
1997
Springer
Object relationships in modern software systems are becoming increasingly numerous and complex. Programmers who try to find violations of such relationships need new tools that al...
AGENTS
2001
Springer
13 years 12 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
IWAN
2004
Springer
14 years 25 days ago
2004
Springer
Concast is a customizable many-to-one network-layer communication service. Although programmable services like concast can improve the efficiency of group applications, accompanyi...