Sciweavers

COMPSEC
2010
142views more  COMPSEC 2010»
13 years 8 months ago
Provably correct Java implementations of Spi Calculus security protocols specifications
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
Alfredo Pironti, Riccardo Sisto
CORR
1999
Springer
107views Education» more  CORR 1999»
13 years 11 months ago
WebScript - A Scripting Language for the Web
WebScript is a scripting language for processing Web documents. Designed as an extension to Jacl, the Java implementation of Tcl, WebScript allows programmers to manipulate HTML i...
Yin Zhang
JSS
2007
115views more  JSS 2007»
13 years 11 months ago
A case study in re-engineering to enforce architectural control flow and data sharing
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho
IPPS
2003
IEEE
14 years 4 months ago
Distributed Process Networks in Java
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
Thomas M. Parks, David Roberts