3420 search results - page 193 / 684 » A Language-Based Approach to Security |
ICALT
2008
IEEE
15 years 11 months ago
2008
IEEE
Students often build up portfolios of their achievements as they study and present them when they apply for jobs or for further study. Of increasing interest is the concept of an ...
149
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
151
click to vote
WETICE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we introduce a new fine-grain distributed information protection mechanism which can self-protect, self-discover, self-organize, and selfmanage. In our approach, we...
152
click to vote
OTM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper discusses the approach of ontology-based knowledge engineering in FF POIROT, a project to explore the use of ontology technology in information systems against...
142
click to vote
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...