2209 search results - page 84 / 442 » Language Based Secure Communication |
138
click to vote
APSEC
2009
IEEE
15 years 12 days ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
108
Voted
AGENTS
1999
Springer
15 years 6 months ago
1999
Springer
Jackal is a Java-based tool for communicatingwith the KQML agent communication language. Some features that make it extremely valuable to agent development are its conversation ma...
167
Voted
CSFW
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
137
Voted
TRUSTBUS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Existing policy languages suffer from a limited ability of directly and elegantly expressing high-level access control principles such as history-based separation of dut...
126
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...