Julio Setién

  • Citations Per Year
Learn More
In this paper we present an automatic implementation system of security protocols based in Formal Description Techniques. A sufficiently complete and concise formal specification that has allowed us to define the state machine that corresponds to a security protocol has been designed to achieve our goals. This formal specification makes it possible to(More)
In this paper we present an application of Video Conference based on JPEG-GSM Codecs that incorporates security services. These Codecs have been developed using Java Media Framework (JMF) [1], an Application Programming Interface (API), developed by Sun. Our solution consists in encrypting frames coded with JPEG and GSM packets that are later encapsulated(More)
  • 1