2688 search results - page 516 / 538 » A formal semantics for P3P |
ESORICS
2009
Springer
16 years 12 days ago
2009
Springer
Separation of Duty Constraints David Basin1 , Samuel J. Burri1,2 , and G?unter Karjoth2 1 ETH Zurich, Department of Computer Science, Switzerland 2 IBM Research, Zurich Research La...
CAV
2009
Springer
16 years 10 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
207
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
215
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
196
click to vote
POPL
2005
ACM
16 years 3 days ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...