Information Technology -- Open Systems Interconnection -- Basic Reference Model -- Part 2: Security Architecture, ISO/IEC 7498-2, International Standards Organization, 1988.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....model was designed to be a generic abstraction from the IBM model that should be useful for other Smart Card providers too. It is compliant with the requirements for an evaluation of operating systems according to the ITSEC evaluation criteria [8] E4 or higher (and comparable Common Criteria [7] EAL5 or higher) The IBM system is designed for even higher assurance levels ITSEC E5 or E6 or Common Criteria EAL6 or EAL7. This paper is structured as follows: Sect. 2 describes the security objectives. Sect. 3 introduces the concepts to be implemented on the smart card which are used to ....

....sign the application and its ITSEC E level. A card issuer (such as a bank) might lay a requirement on vendors who want to download applications onto their cards. The application must have received an ITSEC evaluation at a policy determined level to be acceptable. Common criteria evaluations [7] would be equally acceptable. There could be provisions for less formal evaluations than full ITSEC. For example, a commercial security laboratory could check an application for obvious security holes (bu er over ows and the like) and for Trojan horses or trapdoors. While not as formal as an ....

Information technology - security techniques { evaluation criteria for IT security. ISO/IEC 15408, International Standards Organization, 1999. URL: http://csrc.nist.gov/cc.

....scheme (for a generalization, see [9] Though yielding shorter signatures asymptotically, the size grows rapidly in practice as the number of signatures made increases. Starting with [2] many practical digital signature schemes have been proposed, for instance, 15] 16] 17] 18] 19] [20] and [21] Although many of them are actually used in practice today, these schemes seem to have the property that their security is hard to analyze. We certainly do not mean to suggest here that their security is dubious. On the contrary, these schemes rely on common cryptographic assumptions, ....

Information Technology -- Security Techniques -- Digital Signature Scheme Giving Message Recovery, ISO/IEC Standard 9796, first edition, International Standards Organization, Geneva.

....algebraic properties include: idempotency, reflexivity, symmetry, transitivity, commutativity, associativity, distributivity, existence of an identity element, and existence of an inverse relation or function. Algebras are well known mathematical models for abstract data types and for processes [8, 12, 1]. For example, this algebraic equation characterizes the idempotency of inserting the same element into a set multiple times: insert(insert(s; e) e) insert(s; e) and this characterizes insert s commutativity property: insert(insert(s; e 1 ) e 2 ) insert(insert(s; e 2 ) e 1 ) It also makes ....

....methods, then because they are based on different semantics (e.g. state machines and process algebras) you are less likely to detect that you have specified something that is actually semantically inconsistent. Combining different formal methods is a subject of current research (e.g. see [1, 15, 19]) Proofs Most likely you will not be proving theorems about your system from your specifications, but if you are, the first difficult aspect about doing proofs is knowing how formal to be. For realistic systems or large examples, it s impractical to do a completely formal proof, in the strictest ....

DIS 8807. Information systems processing--open systems interconnection--lotos. Technical report, International Standards Organization, 1987.

....signatures made increases. Starting with the seminal paper [22] which proposed the RSA functions as the first implementation of public key cryptography as envisaged by Diffie and Hellman [9] many practical digital signature schemes have been proposed, for instance, 11] 12] 24] 14] 20] [16] and [19] Although many of them are actually used in practice today, these schemes seem to have the property that their security is hard to analyze. We certainly do not mean to suggest here that their security is dubious. On the contrary, these schemes rely on common cryptographic assumptions, ....

Information Technology -- Security Techniques -- Digital Signature Scheme Giving Message Recovery, ISO/IEC Standard 9796, first edition, International Standards Organization, Geneva.

....algebraic properties include: idempotency, reflexivity, symmetry, transitivity, commutativity, associativity, distributivity, existence of an identity element, and existence of an inverse relation or function. Algebras are a well known mathematical model for both abstract data types and processes [8, 15, 1]. For example, this algebraic equation characterizes the idempotency of inserting the same element into a set multiple times: insert(insert(s; e) e) insert(s; e) and this characterizes insert s commutativity property: insert(insert(s; e1) e2) insert(insert(s; e2) e1) And, since ....

DIS 8807. Information systems processing--open systems interconnection--lotos. Technical report, International Standards Organization, 1987.

No context found.

Information Technology -- Open Systems Interconnection -- Basic Reference Model -- Part 2: Security Architecture, ISO/IEC 7498-2, International Standards Organization, 1988.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC