3486 search results - page 514 / 698 » On the Design and Security of RC2 |
182
click to vote
ICFEM
2007
Springer
16 years 20 days 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...
193
click to vote
IWSOS
2007
Springer
16 years 20 days 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 ...
184
click to vote
OOPSLA
2007
Springer
16 years 20 days 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...
135
click to vote
OOPSLA
2007
Springer
16 years 20 days 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...
162
click to vote
OOPSLA
2007
Springer
16 years 20 days 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...