3486 search results - page 514 / 698 » On the Design and Security of RC2 |
102
click to vote
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
120
Voted
IWSOS
2007
Springer
15 years 5 months ago
2007
Springer
Self-organizing systems are present in many areas of nature and science, and have more recently been increasingly applied to telecommunications. These systems often exhibit common ...
96
Voted
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
ose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in...
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. The model that we intend to devise attempts to provide a basis for conceptual mo...