We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoret...We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoretical analysis of our rules using the strand spaceformalism, and show the soundness of our idealization rules under strand spaces Some examples onusing the new rules to analyze security protocols are also concerned. Our idealization method ismore effective than Mao's method towards many protocol instances, and is supported by a formalmodel.展开更多
A submanifold in a complex space form is called slant if it has constant Wirtinger angles. B. Y. Chen and Y. Tazawa proved that there do not exist minimal proper slant surfaces in CP2 and CH2. So it seems that the sla...A submanifold in a complex space form is called slant if it has constant Wirtinger angles. B. Y. Chen and Y. Tazawa proved that there do not exist minimal proper slant surfaces in CP2 and CH2. So it seems that the slant immersion has some interesting properties. The authors have great interest to consider slant immersions satisfying some additional conditions, such as unfull first normal bundles or Chen’s equality holding. They prove that there do not exist n-dimensional Kaehlerian slant immersions in CPn and CHn with unfull first normal bundles. Next, it is seen that every Kaehlerian slant submanifold satisfying an equality of Chen is minimal which is similar to that of Lagrangian immersions. But in contrast, it is shown that a large class of slant immersions do not exist thoroughly. Finally, they give an application of Chen’s inequality to general slant immersions in a complex projective space, which generalizes a result of Chen.展开更多
In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kerne...In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kernel ideals.展开更多
20th century physics experimentally established beyond doubt the fact that moving clocks read differently from “static” clocks. This fact is typically interpreted as support for special relativity. On the other hand...20th century physics experimentally established beyond doubt the fact that moving clocks read differently from “static” clocks. This fact is typically interpreted as support for special relativity. On the other hand, the same century produced proof that clocks at various locations in the gravitational field also read differently, and this fact is explained by general relativity, which is, in general, not Lorentz transformable. This paper establishes a common framework for the physics of clocks in these different situations.展开更多
文摘We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoretical analysis of our rules using the strand spaceformalism, and show the soundness of our idealization rules under strand spaces Some examples onusing the new rules to analyze security protocols are also concerned. Our idealization method ismore effective than Mao's method towards many protocol instances, and is supported by a formalmodel.
基金This project is supported by the NSFC(10271041)Tianyuan Youth Foundation of Mathematics.
文摘A submanifold in a complex space form is called slant if it has constant Wirtinger angles. B. Y. Chen and Y. Tazawa proved that there do not exist minimal proper slant surfaces in CP2 and CH2. So it seems that the slant immersion has some interesting properties. The authors have great interest to consider slant immersions satisfying some additional conditions, such as unfull first normal bundles or Chen’s equality holding. They prove that there do not exist n-dimensional Kaehlerian slant immersions in CPn and CHn with unfull first normal bundles. Next, it is seen that every Kaehlerian slant submanifold satisfying an equality of Chen is minimal which is similar to that of Lagrangian immersions. But in contrast, it is shown that a large class of slant immersions do not exist thoroughly. Finally, they give an application of Chen’s inequality to general slant immersions in a complex projective space, which generalizes a result of Chen.
文摘In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kernel ideals.
文摘20th century physics experimentally established beyond doubt the fact that moving clocks read differently from “static” clocks. This fact is typically interpreted as support for special relativity. On the other hand, the same century produced proof that clocks at various locations in the gravitational field also read differently, and this fact is explained by general relativity, which is, in general, not Lorentz transformable. This paper establishes a common framework for the physics of clocks in these different situations.
