Modeling involves a series of stages, from the initial concept or abstraction to potential use in industry, or some form of colleague or student exposure - a variety of processes and users. Modeling also implies a number of modeling paradigms - from optimization to simulations. A modeling environment supports the modeling life cycle and ”general” modeling, not just one technique such as linear programming. We describe an information systems approach to the design of an integrated modeling environment - OMAC. The design requirements, system’s architecture, and modeling capability of the OMAC modeling environment are discussed.
Keywords for this software
References in zbMATH (referenced in 9 articles , 1 standard article )
Showing results 1 to 9 of 9.
- Nandi, Mridul: A unified method for improving PRF bounds for a class of blockcipher based MACs (2010)
- Nandi, Mridul: Improved security analysis for OMAC as a pseudorandom function (2009)
- Nandi, Mridul: Fast and secure CBC-type MAC algorithms (2009)
- Nandi, Mridul: A simple and unified method of proving indistinguishability. (Extended abstract) (2006)
- Mitchell, Chris J.: Partial key recovery attacks on XCBC, TMAC and OMAC (2005)
- Iwata, Tetsu; Kurosawa, Kaoru: On the security of a new variant of OMAC (2004)
- Iwata, Tetsu; Kurosawa, Kaoru: OMAC: one-key CBC MAC. (2003)
- Iwata, Tetsu; Kurosawa, Kaoru: Stronger security bounds for OMAC, TMAC, and XCBC (2003)
- McKay, Kenneth N.; Kletter, David B.; Graves, Stephen C.: OMAC: An environment for modeling and analysis (1997)