20 search results - page 2 / 4 » Statically checking confidentiality via dynamic labels |
171
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
SIGSOFT
2002
ACM
15 years 10 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
IANDC
2010
14 years 8 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
84
Voted
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...