685 search results - page 73 / 137 » Implementing Controlled Languages in GF |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
ā Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciļ¬...
FLOPS
2006
Springer
15 years 1 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
We introduce a language and system that supports deļ¬nition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
APLAS
2009
ACM
15 years 4 months ago
2009
ACM
Ownership types support information hiding by providing object-based encapsulation. However the static restrictions they impose on object accessibility can limit the expressiveness...
IFM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the speciļ¬cation language Object-Z, can be linked to standard software engine...