6812 search results - page 56 / 1363 » Detection of Information Flows |
ISPDC
2006
IEEE
15 years 7 months ago
2006
IEEE
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
121
click to vote
SACMAT
2006
ACM
15 years 7 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
111
click to vote
PACT
2005
Springer
15 years 6 months ago
2005
Springer
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
EWC
2000
15 years 1 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
109
click to vote
APWEB
2005
Springer
15 years 7 months ago
2005
Springer
Aspect-oriented programming (AOP) is a promising field for reducing application complexity. However, it has proven difficult to implement weavers for general purpose languages. Nev...